Haskell实现多叉树版zipWithMult函数时出现类型不匹配报错

错误根源 #

• 类型报错的核心成因：zipWithMult的函数签名要求传入两个单个树实例作为后两个参数，而你在递归时直接把解构出的xs、ys（本质是树的列表，类型为[MultTree a]、[MultTree b]）当成单个树传入，自然触发类型不匹配。
• 逻辑遗漏点：两个节点下的子节点是成序列排布的，需要先对两个子节点序列做逐位配对组合，而不是直接把序列传给处理单树的zipWithMult。
• 冗余设计：你单独写的两个匹配单边子节点为空的分支没有存在必要，因为通用的逐位配对逻辑天然会在某一边子节点列表为空时，生成空的子节点列表，输出和手动匹配的结果完全一致。

正确实现 #

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)

逻辑说明 #

• 根节点组合：直接通过传入的函数f，合并两棵树根节点携带的值，和原逻辑一致。
• 子节点处理：调用列表标准库的zipWith函数，把已有的zipWithMult f作为配对函数，逐位对应两棵输入树的子节点列表：
  • 同一位置的两个子树，递归调用zipWithMult完成组合
  • 列表长度不匹配的部分，由列表zipWith的截断特性自动丢弃，和题目要求的“无对应匹配位置的节点直接丢弃”规则完全契合

用给出的测试用例验证时，输出结果和预期完全一致。

内容的提问来源于stack exchange，提问作者AndreasSt