Haskell - 关于 curry

Question

在 Haskell 中，所有函数最初都是柯里化(Currying)的，对吗？

那么，让我们看看max函数，我将写下我对它如何工作的理解。

当我写这样的东西时:

max 4 5

会发生什么情况是创建了一个内部值为 4 的新函数，然后它接收一个值，所以这个函数应用于 5 并返回一个正确的值？

我是否以某种方式说错了什么或者这是正确的？

Answer 1

这是正确的。您可以通过记住两个最重要的身份来记住柯里化(Currying)的全部内容:

-- Function type right-associativity:
a -> b -> c = a -> (b -> c)

-- Function application left-associativity:
f x y = (f x) y

这两个身份一起工作并产生了一种 curry 语言。