小编Bar*_*son的帖子

阅读"使用Haskell进行功能思考"我遇到了一个程序计算的一部分,需要将map sum (map (x:) xss)其重写为map (x+) (map sum xss)

直觉我知道它有意义......

如果你有一些你想要求和的列表,但是在求和之前,你还要添加一个元素'x',那么就像获取origninal列表的总和列表并添加x一样对每个人都有价值.

但我想知道如何使用等式推理将一个转换为另一个.我觉得我错过了一条能帮助我理解的法律或规则.