（功能树）元素的总和

Question

我正在努力寻找解决我上一个任务的方法。我必须实现一个函数sumSucc，它接受IntTree 并返回从succTree 获得的树元素的总和。

succTree基本上返回给定树的后继者，定义如下：

succTree :: IntTree -> IntTree
succTree t = tmap (+1) t

我知道我可以通过执行以下操作轻松解决此问题：

sumSucc :: IntTree -> Int
sumSucc (Leaf x) = x+1
sumSucc (Branch (x, xl, xr)) = (x+1) + sumSucc xl + sumSucc xr

但我必须在sumSucc 中使用函数succTree。提前致谢。

Answer 1

你可以实现另一个函数sumTree，那么sumSucc就相当于：

sumSucc :: IntTree -> Int
sumSucc x = sumTree (succTree x)

sumTree :: IntTree -> Int
sumTree (Leaf x) = …
sumTree (Branch (x, xl, xr)) = …

因此，您应该在这里实现sumTree 的… 部分。我把它留作练习。

sumSucc可以不带参数实现，利用(.) :: (b -> c) -> (a -> b) -> a -> c：

sumSucc :: IntTree -> Int
sumSucc = sumTree . succTree