帮助声明可变数量的参数

Question

高人，

我必须为可以有多个节点的树定义一个多态数据类型。每个节点可以有任意数量的子节点和一个值。这种类型总是至少有一个节点。我是 Haskell 的新手，所以我问如何声明节点具有可变数量的参数。

这就是我现在所拥有的。这是一棵树，可以有一个节点或一个值为 (a) 的节点和两个树子节点。我希望它们是任意数量的树孩子，而不是两个树孩子。 （类似于java可变参数数量“arg...”）

data Tree a = Node a | Node a (Tree a) (Tree a) deriving (Show)

感谢您的帮助

编辑

一个小问题:::我如何在函数中使用可变参数声明这个节点 参数（标头/签名）。我必须实现一个名为
的函数 “contains”将检查节点是否包含特定元素。

contains :: Tree a -> b -> Bool
contains (Node val [(tree)]) =   ......

第二行正确吗？

Answer 1

它将是：

data Tree a = Node a | Node a [(Tree a)] deriving (Show)

但此外还有第二个问题，这应该是

data Tree a = Leaf a | Branch a [(Tree a)] deriving (Show)

或者例如联合的各个部分必须具有不同的名称，否则您无法使用模式匹配

Leaf 和 Branch 是数据构造函数，因此：

Branch 1 [Leaf 3, Branch 6 [Leaf 5]]

的示例

---

contains :: Tree a -> a -> Boolean 
contains (Leaf a) b = a == b
contains (Branch a c) b = a == b || any (map (\t -> contains t b) c)

是 Tree等