Haskell 哈斯克尔-关于咖喱

Haskell 哈斯克尔-关于咖喱,haskell,Haskell,在Haskell中,所有函数最初都是咖喱的,对吗 那么,让我们看一下max函数,我将写下我对它的工作原理的理解 当我这样写的时候: max 4 5 发生的情况是,创建了一个内部值为4的新函数,然后该函数接收一个值,因此该函数应用于5并返回正确的值 我说错了什么吗?或者这是正确的吗?没错。你可以通过记住咖喱的两个最重要的特征来记住咖喱是什么: -- Function type right-associativity: a -> b -> c = a -> (b -> c)

在Haskell中,所有函数最初都是咖喱的,对吗

那么,让我们看一下
max
函数,我将写下我对它的工作原理的理解

当我这样写的时候:

max 4 5
发生的情况是,创建了一个内部值为4的新函数,然后该函数接收一个值,因此该函数应用于5并返回正确的值


我说错了什么吗?或者这是正确的吗?

没错。你可以通过记住咖喱的两个最重要的特征来记住咖喱是什么:

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

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

这两种身份共同作用,产生了一种咖喱语。

记住,伙计们:在评论中证明你的否决票是正确的。我猜他们是因为问题有语法错误,这不是否决票的好理由。。。如果问题很难理解,请要求澄清。你不能因为问答网站上缺少知识而投反对票,但你可以因为缺乏努力而投反对票,不过我认为这个问题显示了良好的理解,以及明确(成功)解决问题的努力。我已经更正了一些主语动词宾语的语法,因为宾语动词主语在某种程度上遵守了意思。@user428691所以
max 4 5
(max 4)5
max 4::Integer->Integer
的缩写,这意味着它是一个函数,就像你说的那样。