function - lambda 函数的 Haskell 解释

Question

我有一个 Haskell 函数，我不理解但想理解。

 i :: Int
 i = ((\g x -> g x + g x) (\y -> y)) 3

我知道什么是 lambda 函数:一个无名函数。例如。 (\x -> x) 3 接受 3 并返回它，(\x y -> x+y) 3 4 接受 3, 4 并返回 7。但在这种特殊情况下我无法解释它。我希望你可以帮助我。顺便提一句。该函数的解为 6。

Answer 1

现在您的 (\y -> y) 函数相当于 id。让我们用它重写你的函数:

i = ((\g x -> g x + g x) id) 3

现在将 id 函数应用于 (\g x -> g x + g x)。这将减少为:

i = (\x -> id x + id x) 3

现在很简单:

i = id 3 + id 3
i = 6