haskell - Haskell中反斜杠空格是什么意思

Question

我知道类似 \x->x+1 是一个匿名函数定义，它获取 x 并向其加 1。但我在阅读文章 here 时看到了这样的表达式 return x = (\r -> x) .

(\r -> x) 是什么意思？为什么反斜杠后面是空的？

Answer 1

没有区别:\r -> x 或 \r -> x 具有相同的含义，就像 1+1和 1 + 1 含义相同。 \ 后面的空格无关紧要。

因此，return x 只是 \r -> x，它是一个接受参数 r 的函数，忽略它，并且产生x。

此外，由于 r 被忽略，我们倾向于编写 \_ -> x (或 const x - 定义为 const x _ = x)。