形式变换第二种形式；这种类型的优化叫做“映射融合”，是的函数式类似者。映射函数可以并经常依据fold比如codice_42来定义，这意味着可以做“map-fold融合”：codice_43等价于codice_44。在一个单链表上的map实现不是尾递归的，所以它在调用于大型列表的时候，可能在栈上建造大量的帧。很多语言作为替代的提供“逆向map”函数，它等价于逆转一个映射后的列表，但它是尾递归的。下面是利用了左fold函数的一个实现：reverseMap f = foldl (\ys x -> f x