为什么是Haskell?
Posted 牛顿一号
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了为什么是Haskell?相关的知识，希望对你有一定的参考价值。
正如ada/pascal，haskell的名字来自于一名历史上的数学家 Haskell Brooks Curry--美国数学家和逻辑学家。这里（https://zh.wikipedia.org/wiki/哈斯凱爾·加里）有关于这位科学家的介绍。
正如大多数科学家一样，Haskell将毕生的精力放在了自己感兴趣的领域--数理逻辑上面，并且做出了非凡的成绩非常令人敬佩。这里参考wiki展示一下：
生平：
哈斯凯尔·柯里的父母萨麦尔·S·柯里和安娜·B·柯里经营一家教授修辞术的学院。
1916年他进入哈佛大学，原先预备攻读医学，但很快就转换到数学领域。1920年毕业后，他在麻省理工学院工作两年，之后又回到哈佛大学继续学业，1924年得到物理学硕士学位，之后取得数学博士学位。在这段时期里，当他接触到阿尔弗雷德·诺思·怀特黑德和伯特兰·罗素在数学符号逻辑领域的尝试性著作《数学原理》后，柯里燃起了对数理逻辑的兴趣。在哈佛学习期间，柯里得到了数学博士学位。在他受乔治·戴维·伯克霍夫指引而研究微分方程的那段时间里，柯里的兴趣持续转向逻辑学。1927年柯里在普林斯顿大学时，他发现了Moses Schönfinkel关于组合子逻辑的成果。Moses Schönfinkel的成果预言了柯里自己的大部分研究,于是柯里去了哥廷根大学与熟悉Moses Schönfinkel工作的Heinrich Behmann、Paul Bernays两人一起工作。
哈斯凯尔·柯里，1982年9月1日卒于宾夕法尼亚州立学院，享年82岁。
主要著作和论文：
组合逻辑基础：1930年，用德语写成，发表在“美国数学期刊”
可确定性的形式理论：用英语写成，第一版于1950年由Notre Dame大学出版社出版；第二版于1957年由同一出版社出版
代数逻辑教程：1952年，用法语写成，由巴黎Gauthier-Villars出版
形式主义数学哲学概览：1951年由阿姆斯特丹Elsevier出版社出版
组合逻辑·第一卷：（与Robert Feys合作）1958年用英语写成，由阿姆斯特丹North-Holland出版社出版
数理逻辑基础：1963年，用英语写成，由McGraw Hill出版；2012年由纽约Dover出版社再版
组合逻辑·第二卷：（与Robert Feys合作）1972年用英语写成，由阿姆斯特丹North-Holland出版社出版
以上是关于为什么是Haskell?的主要内容，如果未能解决你的问题，请参考以下文章