haskell - haskell 中的 lambda 单位是什么？

Question

我是一名 haskell 初学者，正在尝试理解基于 StateMonad 的计数器的定义。我知道 lambdas 通常有变量，例如

(\n -> n + 1)

是一个函数，它接受参数 n，将其值递增 1，然后返回结果。然而，在这种情况下，代替变量的是一个值，一个空元组(单位)。

tick :: StateMonad Int Int
tick = fetch >>= (\n -> store (n + 1) >>= (\() -> return n))

取自Generalising Monads to Arrows第 5 页。

Answer 1

从技术上讲，lambda 表达式的参数实际上是 Haskell 中的模式(查看 Haskell 98 report 中 exp 的第一个 EBNF 案例)。所以我可以写一个像 \(x,y) -> x + y 这样的函数，它和 \t -> fst t + snd t 做同样的事情。在这种情况下，\() -> return n 是 () 类型唯一可能值的模式匹配 - () 本身。

---

这里是明确说明的类比。和我写函数一样

f :: Num a => (a,a) -> a
f t = fst t + snd t

我也可以使用 pattern matching 编写此函数

f' :: Num a => (a,a) -> a
f' (x,y) = x + y

这同样适用于 lambda 表达式:我可以编写 \(x,y) -> x + y。然后，lambda \() -> return n 是同一件事，除了 () 类型值的模式匹配是微不足道的:唯一可能的值是 ().

编辑

以防万一不清楚，return::Monad m => a -> m a 是一个常规函数，它将一个值放入一个最小的 monadic 上下文中，与 无关>return 关键字出现在许多命令式语言中。