樹木在Haskell

Question

仍在學習哈斯克爾，我實在看不出

data Tree a = Leaf a | Branch [Tree a] 

和

data Tree a = Leaf a | Branch (Tree a) (Tree a) 

什麼是最好根據你之間的區別？這兩種寫作方式的含義是什麼？

Answer 1

第一個分支包含樹的列表，因此可能包含任意數量的子樹。第二個是明確的兩個子樹，因此是二叉樹。

Answer 2

前者定義了一棵樹，其中每個分支可以有任意多個子樹（表示爲樹列表），而後者定義了一棵樹，其中每個分支恰好具有兩棵子樹。

換句話說，前者是一般樹，後者是二叉樹。

那麼選擇哪一個取決於您是要對一般樹還是二叉樹進行建模。

Answer 3

我已經把這個作爲一個答案，而不是評論，因此有一定的格式：

data Rose a = Branch a [Rose a] 
    deriving (Show) 


sample1 :: Rose Int 
sample1 = Branch 1 [Branch 2 [], Branch 3 [Branch 5 []], Branch 4 []] 

這是一樣的庫模塊Data.Tree，雖然Data.Tree採用現場標籤和一個鍵入同義詞。

我已經看到這棵樹和你的第一個定義叫做「玫瑰樹」，雖然它們有稍微不同的形狀，所以術語似乎並不完全精確。我的解釋是，它是嵌入在單個遞歸構造函數中的列表「[Rose a]」，它將其定義爲玫瑰樹。