后记:今天是周末,轻松一下来个小短篇,用漫画讲讲柯里化,本来这里应该说说柯里化的用途,但是由于要送书,就留给大家去评价了。
这里就说说柯里化这个名称吧, 柯里化的英文是Currying,是为了纪念Haskell Brook Curry, 这位大牛的名称非常有意思,世界上唯一一位其firstname、middlename和lastname同时都是计算机编程语言的学者,Haskell语言、Curry语言、Brook语言。
加里的研究目标是证明组合逻辑可以为数学提供基础。1933年加里在和Rosser通信中得知了Kleene-Rosser悖论,这个悖论证明了当时一些提出的形式系统的不一致性,由于这个悖论,Kleene、Rosser和丘奇都放弃了对数学基础问题的研究,只有加里一直坚持,声称绝不会从悖论逃离。为此,加里在组合逻辑上付出了毕生的精力,最终成为这个领域的创始人和大师。组合逻辑是现今所有函数式编程语言的理论基础。这个理论在很大程度上与丘奇的lambda-演算非常相似,只是近几年来后者的影响力更大。
扫描二维码关注公众号,回复:
11764828 查看本文章
![](/qrcode.jpg)