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

问题描述

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

 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表达式来匹配该模式，但无法弄清楚

解决方法

好吧，我本人认为我必须使用大小写表达式，但是问题是我不知道之后该怎么做。