Haskell:是否可以在模式匹配中使用抽象数据类型

Question

假设我有一个名为foo的ADT

data foo = N Integer | V Var | Div foo foo

有没有办法在模式匹配中使用ADT,所以我不必写出每种可能的数据类型组合？

myfunc :: foo -> [Var]
myfunc (N _) = []
myfunc (V a) = [a]
myfunc (Div (foo) (foo)) = myfunc(foo) ++ myfunc(foo)

有没有办法做这样的工作,所以我不必写

myfunc (Div (N a) (N b)) = myfunc(N a) ++ myfunc(N b)
myfunc (Div (V a) (N b)) = myfunc(V a) ++ myfunc(N b)
myfunc (Div (N a) (V b)) = myfunc(N a) ++ myfunc(V b)
...

等等

Answer 1

好吧,如果你正确地命名,你有什么工作:

-- types have to begin with a capital letter, just like constructors
data Foo = N Integer | V Var | Div Foo Foo

myfunc :: Foo -> [Var]
myfunc (N _) = []
myfunc (V a) = [a]
myfunc (Div left right) = myfunc left ++ myfunc right

去测试:

type Var = String -- Don't know what Var is, but it's a String for this example

> myfunc (Div (Div (V "A") (V "B")) (Div (V "C") (N 1)))
["A", "B", "C"]