haskell - 这让表达式如何工作？

Question

鉴于这行 Haskell 代码，我的任务是将其评估为最简单的形式。

let g h k = (\x -> k (h x)) in g (+1) (\x -> x+x) 20

我已经得到了答案(当然，我自己也在 GHCI 中对其进行了评估): 42
但是，我想更好地了解评估在这里的实际工作方式。一般来说，我想我知道(简单)让表达式如何工作:

例子

a = let y = 5 in y * 5  -- a == 25

计算结果为 25因为我们绑定(bind)了 y为 5 的值和 a被赋值为 y*5 ( in 之后的部分)。绑定(bind) y = 5仅在 let 范围内有效.

到目前为止，唯一的解释(至少计算为 42)如下:

let g h k = (\x -> k (h x)) in g (+1) (\x -> x+x) 20

g是 (\x -> k (h x))

h是 (+1) (函数(\x -> x+1))

k是 (\x -> x+x)

20是 g 的输入产生k (h 20)

h 20给 20 + 1 = 21

k (h 20) = k 21 = 21 + 21 = 42

但令我困惑的是 g h k 的使用。让后。这意味着什么？

Answer 1

考虑一个函数定义。如果你写:

g h k x = k (h x)

然后是一个接受三个参数的函数 h , k和 x并返回 k (h x) .这相当于:

g h k = \x -> k (h x)

或者:

g h = \k x -> k (h x)

或者:

g = \h k x -> k (h x)

所以我们可以在函数的头部和函数体中的 lambda 表达式之间传递变量。事实上，Haskell 编译器会重写它。

所以使用 let表达式，我们定义了一个局部范围的函数，就像上面定义的那样。现在，如果我们调用 g (+1) (\x -> x+x) 20 , 然后将调用 g与 h = (+1) , k = (\x -> x+x)和 x = 20 .

所以我们将其评估为:

(\x -> x+x) ((+1) 20)

评估为:

   (\x -> x+x) ((+1) 20)
-> ((+1) 20)+((+1) 20)
-> 21 + 21
-> 42