gpt4 book ai didi

haskell - 无法将预期类型 'MultTree b' 与 '[MultTree b]' 匹配

转载 作者:行者123 更新时间:2023-12-04 03:26:51 25 4
gpt4 key购买 nike

我对 Haskell 比较陌生。
我正在尝试创建一个 功能 zipWithMult :: (a -> b -> c) -> MultTree a -> MultTree b -> MultTree c其行为类似于函数 zipWith对于列表。它应该使用类型 a -> b -> c 的给定函数组合两个输入树。 .
多树 表示非空树,其节点可能有任意多个子节点:

data MultTree a = MultNode a [MultTree a] deriving Show
例如,当我有以下两棵树时:
t1 :: MultTree Integer
t1 = MultNode 8 [MultNode 3 [MultNode (-56) [], MultNode 4 [], MultNode 987 []], MultNode 4 [MultNode 6 []]]

t2 :: MultTree Integer
t2 = MultNode (-2) [MultNode 5 [MultNode 16 [], MultNode 7 []], MultNode (-9) [MultNode 1 [], MultNode 5 []]]
函数的应用 zipWithMult (+) t1 t2应该导致:
MultNode 6 [MultNode 8 [MultNode (-40) [], MultNode 11 []], MultNode (-5) [MultNode 7 []]] 
在另一棵树中没有相应节点的节点应该简单地删除。
到目前为止我所拥有的:
zipWithMult :: (a -> b -> c) -> MultTree a -> MultTree b -> MultTree c
zipWithMult f (MultNode x []) (MultNode y ys) = MultNode (f x y) []
zipWithMult f (MultNode x xs) (MultNode y []) = MultNode (f x y) []
zipWithMult f (MultNode x xs) (MultNode y ys) = MultNode (f x y) (zipWithMult f xs ys)
我不明白为什么我在 zipWithMult 中的第三次表达会出现此错误
Couldn't match expected type `MultTree b'
with actual type `[MultTree b]'
* In the third argument of `zipWithMult', namely `ys'
In the second argument of `MultNode', namely
`(zipWithMult f xs ys)'
In the expression: MultNode (f x y) (zipWithMult f xs ys)
我觉得我在 Haskell 的语法上犯了一个错误,但我不确定。

最佳答案

zipWithMult返回一个简单的 MultTree ,所以对于 MultNode (f x y) (zipWithMult f xs ys)我们出现了问题。
您可以与 zipWith :: (a -> b -> c) -> [a] -> [b] -> [c] 合作处理两个列表(第一个和第二个参数的项目),并将其作为 MultTree 的列表返回s:

zipWithMult :: (a -> b -> c) -> MultTree a -> MultTree b -> MultTree c
zipWithMult f (MultNode x xs) (MultNode y ys)
= MultNode (f x y) (zipWith (zipWithMult f) xs ys)
对于给定的样本数据,我们得到:
Prelude> zipWithMult (+) t1 t2
MultNode 6 [MultNode 8 [MultNode (-40) [],MultNode 11 []],MultNode (-5) [MultNode 7 []]]

关于haskell - 无法将预期类型 'MultTree b' 与 '[MultTree b]' 匹配,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/67446581/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com