Haskell 列表功能（地图、zip 等）与修复

Question

我尝试学习 haskell 并进行锻炼 - 尝试使用函数修复重写标准列表操作（map、foldr、zip、迭代等）。 我有重复的例子：

repeat a = fix $ \xs -> a : xs

它进一步简化了

repeat a = fix (a:)
repeat = fix . (:)

谁能帮我做地图？ 对不起，我的英语不好，提前谢谢你。

Answer 1

要使用fix，需要将递归定义写在表单中

map = .... something involving map .... 

然后，我们让

map = fix (\m -> .... something involving m ....)

例如，

map = \f xs -> case xs of
   []   -> []
   y:ys -> f y : map f ys

所以，

map = fix (\m f xs -> case xs of
   []   -> []
   y:ys -> f y : m f ys)

或者，由于参数f对于每个递归调用都是相同的，我们可以让

map f = \xs -> case xs of
   []   -> []
   y:ys -> f y : map f ys

获得

map f = fix (\m xs -> case xs of
   []   -> []
   y:ys -> f y : m ys)