我养了一只神奇的函数狗

后记：今天是周末，轻松一下来个小短篇，用漫画讲讲柯里化，本来这里应该说说柯里化的用途，但是由于要送书，就留给大家去评价了。

这里就说说柯里化这个名称吧， 柯里化的英文是Currying，是为了纪念Haskell Brook Curry， 这位大牛的名称非常有意思，世界上唯一一位其firstname、middlename和lastname同时都是计算机编程语言的学者，Haskell语言、Curry语言、Brook语言。

加里的研究目标是证明组合逻辑可以为数学提供基础。1933年加里在和Rosser通信中得知了Kleene-Rosser悖论，这个悖论证明了当时一些提出的形式系统的不一致性，由于这个悖论，Kleene、Rosser和丘奇都放弃了对数学基础问题的研究，只有加里一直坚持，声称绝不会从悖论逃离。为此，加里在组合逻辑上付出了毕生的精力，最终成为这个领域的创始人和大师。组合逻辑是现今所有函数式编程语言的理论基础。这个理论在很大程度上与丘奇的lambda-演算非常相似，只是近几年来后者的影响力更大。