求叶子的总和

我应该写这样的代码

具有任意数量子节点的多态树类型可以表示如下（请注意，叶子存储一个列表，内部节点存储“ListTree”列表）：

data ListTree a = ListLEAF [a] | ListNODE [(ListTree a)]
 deriving (Show, Read, Eq)

写一个函数foldListTree需要一个函数（f），基值（base) 和一个 ListTree (t）并组合树中叶子注释列表中的值t通过应用函数f。 （从左到右扫描树的叶子）。foldListTree被调用为：

foldListTree f base t where f是 type 的组合函数a->a->a。的类型foldListTree应该：

foldListTree :: (a -> a -> a) -> a -> ListTree a -> a

我试图读取列表中的每个节点，但我猜它正在进入无限循环。

data ListTree a = ListLEAF [a] | ListNODE [(ListTree a)] deriving (Show, Read, Eq)


foldListTree :: (Num a) => (a -> a -> a) -> a -> ListTree a -> a 
foldListTree op base (ListLEAF []) = base
foldListTree op base (ListNODE []) = base
foldListTree op base (ListLEAF [a]) = foldr op base [a]
foldListTree op base (ListNODE b) = (op (foldListTree op base x) 
                                        (foldListTree op base (ListNODE xs)))
                                        where x:xs = b

t4 = ListNODE
       [ ListNODE
           [ ListLEAF [1,2,3]
           , ListLEAF [4,5]
           , ListNODE [ListLEAF [6], ListLEAF []]
           ]
       , ListNODE []
       , ListLEAF [7,8]
       , ListNODE [ListLEAF [], ListLEAF []]
       ]

命令：foldListTree (+) 0 t4

> 错误：*** 异常：indi.hs:(86,1)-(90,54)：函数中的非详尽模式foldListTree

如果你打开它真的很有帮助-Wall https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-warnings.html#ghc-flag--Wall因为 Haskell 可以为您提供您未涵盖的模式的列表。

主要问题是你写成模式：

foldListTree op base (ListLEAF [a]) = foldr op base [a]

这意味着您将模式限制为单例列表。代码中没有任何地方有一个模式ListLEAF构造函数接受具有任意数量元素的列表。

但是，您可以通过实现两种情况使上述过程变得简单得多：每个构造函数一个。我们可以用foldListTree作为折叠功能ListNODE case:

foldListTree :: Num a => (a -> a -> a) -> a -> ListTree a -> a 
foldListTree op base (ListLEAF x) = foldr op base x
foldListTree op base (ListNODE b) = foldr (flip (foldListTree op)) base b

这给了我们：

Prelude> foldListTree (+) 0 t4
36

Note: 虽然严格来说没有错，但是我觉得写起来很奇怪LEAF and NODE全部大写，通常用驼峰式写，所以ListLeaf and ListNode.

Note: 你的可能会更好ListLeaf存储一个a，不是一个[a]，从那时起，您就可以更自由地在叶子中存储什么内容。它根本不排除在叶子中存储列表的可能性，但您将该决定留给数据类型的用户。