专栏名称: 码农翻身
工作15年的前IBM架构师分享好玩有趣的编程知识和职场的经验教训, 不容错过。
今天看啥  ›  专栏  ›  码农翻身

我养了一只神奇的函数狗

码农翻身  · 公众号  · 程序员  · 2020-09-19 13:00
后记:今天是周末,轻松一下来个小短篇,用漫画讲讲柯里化,本来这里应该说说柯里化的用途,但是由于要送书,就留给大家去评价了。这里就说说柯里化这个名称吧, 柯里化的英文是Currying,是为了纪念Haskell Brook Curry, 这位大牛的名称非常有意思,世界上唯一一位其firstname、middlename和lastname同时都是计算机编程语言的学者,Haskell语言、Curry语言、Brook语言。加里的研究目标是证明组合逻辑可以为数学提供基础。1933年加里在和Rosser通信中得知了Kleene-Rosser悖论,这个悖论证明了当时一些提出的形式系统的不一致性,由于这个悖论,Kleene、Rosser和丘奇都放弃了对数学基础问题的研究,只有加里一直坚持,声称绝不会从悖论逃离。为此,加里在组合逻辑上付出了毕生的 ………………………………

原文地址:访问原文地址
快照地址: 访问文章快照