使用haskell查找要列出的树的和_Haskell

使用haskell查找要列出的树的和

haskell

使用haskell查找要列出的树的和,haskell,Haskell,我试图在给程序输入时使用id函数应用求和。但我同意下面的说法。非常感谢您的指导 data Tree a = Leaf a | Node (Tree a) a (Tree a) deriving (Eq, Show) reduce_tree :: Tree a -> (a -> b) -> (b -> a -> b -> b) -> b reduce_tree (Leaf v) = [v] reduce_tree (Node left root right

我试图在给程序输入时使用id函数应用求和。但我同意下面的说法。非常感谢您的指导

data Tree a = Leaf a | Node (Tree a) a (Tree a) deriving (Eq, Show)
reduce_tree :: Tree a -> (a -> b) -> (b -> a -> b -> b) -> b
reduce_tree (Leaf v) = [v]
reduce_tree (Node left root right) = reduce_tree left ++ [root] ++   reduce_tree right

输入如下：

ghci> reduce_tree (VNode (VLeaf 1) 2 (VNode (VLeaf 3) 4 (VLeaf 5)))
                   id sum
                   where sum t1 v t2 = t1 + v + t2
15

哦，如果我理解正确的话，我想你只是想把你的例子输入ghci。我建议将复杂性放在文件中：

sum_tree :: Tree Int -> Int
sum_tree t = reduce_tree t id sum
    where sum t1 v t2 = t1 + v + t2

然后，在ghci中，在加载中定义了

sum_tree

和

reduce_tree

的文件后

ghci> sum_tree (VNode (VLeaf 1) 2 (VNode (VLeaf 3) 4 (VLeaf 5))

如果必须在ghci中完成所有操作，请注意，通常不能在ghci中使用

where

，因为

where

仅用于定义中。使用

让。。。而在

中：

ghci> let sum t1 v t2 = t1 + v + t2 in reduce_tree (VNode (VLeaf 1) 2 (VNode (VLeaf 3) 4 (VLeaf 5))) id sum

如果出于某种原因不想使用let，可以使用lambda：

ghci> reduce_tree (VNode (VLeaf 1) 2 (VLeaf 3)) id (\t1 v t2 -> t1 + v + t2)

我是否正确理解了您的问题？

哦，如果我理解正确，我认为您只是想将您的示例输入ghci。我建议将复杂性放在文件中：

sum_tree :: Tree Int -> Int
sum_tree t = reduce_tree t id sum
    where sum t1 v t2 = t1 + v + t2

然后，在ghci中，在加载中定义了

sum_tree

和

reduce_tree

的文件后

ghci> sum_tree (VNode (VLeaf 1) 2 (VNode (VLeaf 3) 4 (VLeaf 5))

如果必须在ghci中完成所有操作，请注意，通常不能在ghci中使用

where

，因为

where

仅用于定义中。使用

让。。。而在

中：

ghci> let sum t1 v t2 = t1 + v + t2 in reduce_tree (VNode (VLeaf 1) 2 (VNode (VLeaf 3) 4 (VLeaf 5))) id sum

如果出于某种原因不想使用let，可以使用lambda：

ghci> reduce_tree (VNode (VLeaf 1) 2 (VLeaf 3)) id (\t1 v t2 -> t1 + v + t2)

我是否正确理解了你的问题？

由于我没有完全理解你的问题，以下是一些观察结果：

```
reduce_tree
```
的类型签名表明它应该比您给定的参数多
如果
```
f
```
是一个将
```
a
```
类型的值映射到
```
b
```
类型的值的函数，
```
g
```
似乎是三个参数的累积函数（尽管我不确定为什么两个参数不够），那么
如果
```
reduce\u tree
```
实际上是一个reduce函数，而不是一个简单地将树平铺成列表的函数，那么您可以从中获得灵感
使用此函数，您可以对树的元素进行展平或求和：
```
flattenTree :: Tree a -> [a]
flattenTree tree = treefold (:) [] tree

sumTree :: Num a => Tree a -> a
sumTree tree = treefold (+) 0 tree
```
当你说“使用id函数应用求和”时，唯一会响起的铃声是，也许你希望使用continuations。这已在例如和（标准ML）中详细介绍。哈斯凯尔等效值为：
```
treefold :: (a -> b -> b) -> b -> Tree a -> b
treefold f acc tree = tf f acc tree id
  where
    tf f acc (Leaf x) k = k (f x acc)
    tf f acc (Node left x right) old_k = tf f left acc new_k
      where
        new_k = \acc -> tf f right (f x acc) old_k
```
现在，可以用与以前完全相同的方式定义
```
sumTree
```
，只是它将使用折叠以及标识函数作为初始延续。或者，如果您想自己为遍历函数提供函数
```
id
```
，则可以将helper函数
```
tf
```
提取到顶层

```
reduce_tree
```
的类型签名表明它应该比您给定的参数多
如果
```
f
```
是一个将
```
a
```
类型的值映射到
```
b
```
类型的值的函数，
```
g
```
似乎是三个参数的累积函数（尽管我不确定为什么两个参数不够），那么
如果
```
reduce\u tree
```
实际上是一个reduce函数，而不是一个简单地将树平铺成列表的函数，那么您可以从中获得灵感
使用此函数，您可以对树的元素进行展平或求和：
```
flattenTree :: Tree a -> [a]
flattenTree tree = treefold (:) [] tree

sumTree :: Num a => Tree a -> a
sumTree tree = treefold (+) 0 tree
```
当你说“使用id函数应用求和”时，唯一会响起的铃声是，也许你希望使用continuations。这已在例如和（标准ML）中详细介绍。哈斯凯尔等效值为：
```
treefold :: (a -> b -> b) -> b -> Tree a -> b
treefold f acc tree = tf f acc tree id
  where
    tf f acc (Leaf x) k = k (f x acc)
    tf f acc (Node left x right) old_k = tf f left acc new_k
      where
        new_k = \acc -> tf f right (f x acc) old_k
```
现在，可以用与以前完全相同的方式定义
```
sumTree
```
，只是它将使用折叠以及标识函数作为初始延续。或者，如果您想自己为遍历函数提供函数
```
id
```
，则可以将helper函数
```
tf
```
提取到顶层

where

reduce_tree