数理逻辑资源

据说Currying翻译为局部套用函数，也不知真假。喜欢吃印度美食的老大们不要激动。Currying和咖喱没有半点关系。这个技巧以逻辑学家 Haskell Curry 的姓命名。Haskell Curry也是名动一时的人物。他和 Moses Schönfinkel  共创了组合逻辑（combinatory logic)，并把这们学科发扬光大。当初Curry搞出组合逻辑，主要是为了在数理逻辑里避免使用变量。后来搞函数编程的人们发现，组合逻辑是一类函数编程语言的理论基础。一些函数语言里常见的特性，比如说高阶函数合lazy evaluation, 就是用组合逻辑里的combinator实现的。当初Alanzo Church对这个理论也相当熟悉。难说lambda理论不是受了组合逻辑的影响。大牛 Philip Wadler 为了纪念Curry, 把他的函数语言叫做 Haskell 。Haskell也是一门巨酷的函数语言，兼顾数学的优美和软件开发的实用性。连 LInspire 的开发组都决定用Haskell作为系统开发的语言（但我很奇怪他们为什么放弃使用另一门酷酷的函数语言Ocaml）。说远了。

来源： <http://blog.csdn.net/g9yuayon/article/details/759778>