如何遍历模式并返回所有字符串的列表

Question

您好，我目前正在学习编程语言课程，但在使用以下辅助函数时遇到了困难：该函数采用模式并返回它用于变量的所有字符串的列表。 这是模式：

 datatype pattern = Wildcard
         | Variable of string
         | UnitP
         | ConstP of int
         | TupleP of pattern list
         | ConstructorP of string * pattern

例如：

val test1007 = helper (ConstructorP("x", (TupleP [Wildcard, Variable "x", ConstructorP("y", TupleP [Variable "y"])]))) = ["x","y"]

我知道我必须使用一些 case 表达式来匹配模式，但无法弄清楚

Answer 1

好吧，我自己认为我必须使用 case 表达式，但问题是我不知道之后该做什么。