Haskell - 如何将地图总和（地图（x :) xss）转换为地图（x +）（地图总和xss）
阅读“用Haskell功能思考”我遇到了一个程序计算的一部分，它要求将 map sum（map（x :) xss）重写为 map（x +）（map sum xss） 直觉上我知道它是有道理的... 如果你有一些列表，你可以总结一下，但是在求和之前，你也要添加一个元素'x'，那么就和 但是我想知道如何使用等式推理将其转换成另一个。我觉得我错过了一个可以帮助我理解的法律或规则。 使用
..
equational-reasoning相关内容
是否可以在不破坏等式推理的情况下使用教会编码？
{ - ＃LANGUAGE RankNTypes＃ - } import前奏曲隐藏（总和） 类型列表h = forall t。 （h→t→t）→> t - > t sum_ ::（Num a）=>列表a - > a sum_ = \ list - >列表（+）0 toList :: [a] - >列出 toList = \ list cons nil
..