haskell - 如何使用foldr定义 map ？

Question

我最近开始学习 Haskell，在我的一项作业中，我有一个练习，要求根据 foldr 定义 map 函数，但我终生无法弄清楚如何做到这一点。我在堆栈溢出中搜索了解决方案并遇到了这个:

How would you define map and filter using foldr in Haskell?

然而，这里的解决方案涉及使用 lambdas，我还没有涉及到，我认为因此该练习应该可以在没有 lambdas 的情况下进行(尽管您永远不知道)。

我想最让我困惑的是 map 接受一个一元函数(例如 +1)，而 foldr 接受一个二元函数(例如 +)，我真的不知道如何让这两者一起工作。

Answer 1

foldr 实际上很简单:给定一个列表(用 : 和 [] 编写)，例如

a : (b : (c : (d : [])))

然后将 foldr h x 应用到它会用 : 和 `h` 用 [] 替换每个 x :

a `h` (b `h` (c `h` (d `h` x)))

将其与 map f 列表中的内容进行比较:

f a : (f b : (f c : (f d : [])))

这应该会指导您选择 h 和 x 以便 foldr h x = map f 。