Haskell中的以下lambda函数实际上返回了什么？

Question

考虑Haskell中的以下lambda函数:

(\x g n -> g (x * n))

它需要两个参数:一个Num命名x和一个函数g,它接受一个Num命名n并返回其他东西.lambda函数返回另一个类型相同的函数g:

(\x g n -> g (x * n)) :: Num a => a -> (a -> t) -> a -> t

我不明白的是表达式g (x * n)实际代表什么.例如,考虑以下用例:

((\x g n -> g (x * n)) 2 id)

在这种情况下x是2和g是id.不过是什么n？什么是g (x * n)代表？通过简单的替换,它可以减少到id (2 * n).这是一样的id . (2 *)吗？如果是这样,为什么不简单地写(\x g -> g . (x *))？

Answer 1

我要反驳chirlu. (\x g n -> g (x * n))是一个参数的函数.

因为所有函数只接受一个参数.只是该函数返回另一个函数,它返回另一个函数.

Desugared,它是一样的

\x -> \g -> \n -> g (x * n)

这与它的类型非常接近

Num a => a -> (a -> b) -> a -> b

扩展您的用例:

(\x g n -> g (x * n)) 2 id

让我们扩展一下

(\x -> \g -> \n -> g (x * n)) 2 id

哪个是一样的

((\x -> \g -> \n -> g (x * n)) 2) id

现在我们可以将内部函数应用于其参数get

(let x = 2 in \g -> \n -> g (x * n)) id

要么

(\g -> \n -> g (2 * n)) id

现在我们可以将此函数应用于其get参数

let g = id in \n -> g (2 * n)

要么

\n -> id (2 * n)

通过检查,我们可以说相当于

\n -> 2 * n

或者,无点

(2*)