Haskell定义一棵树

Question

在haskell中，我可以执行以下操作

a :: Int
a = 15

我的数据类型如下

data Btree a = ND | Data a |  Branch (Btree a) (Btree a) deriving (Show, Eq)

如何定义树，而不使用上面的函数。

我努力了;

tree :: BTree
tree = Branch Btree (Branch ND Data 1) (Branch ND (Branch ND ND))

我似乎无法使它正常工作（我是Haskell的新手，因此，如果这很基础，我会提前道歉）

Answer 1

请记住，要构造数据类型的实例，您需要调用其构造函数之一。 所有这些构造函数ND ， Data ， Branch都是常规函数，因此应这样称呼它们。

在tree ，您正在将数据类型（ Btree ）与构造函数混合，而您只应使用构造函数。 另外，请记住，函数调用（“空间运算符”是左关联的）非常贪婪，因此Branch ND Data 1使用3个参数而不是您想要的参数来调用函数Branch ： Branch ND (Data 1) 。

因此，考虑到以上内容，您可以创建深度为2的树：

tree = Branch (Branch ND (Data 1)) (Branch ND (Branch ND ND))

Answer 2

请注意， Data 1也将是Btree，无需额外负担

Prelude> :t (Data 1)
(Data 1) :: Num a => Btree a

如果您只需要带有正确元素的简单分支，则可以编写

Branch ND (Data 1)

或在另一个答案中深入两层。 此时，方便的构造函数将很方便，以最大程度地减少噪声和打字。