Lambda演算与科里化(Currying)
摘要：Lambda演算与科里化(Currying)Lambda演算早在现代计算机问世以前，Lambda演算（λ演算）已经由图灵的老师阿隆佐·邱奇（Alonzo Church）引入。这种演算可以用来清晰地定义什么是一个可计算函数。它包括一条变换规则（变量替换）和一条函数定义方式，Lambda 演算的通用性在于任何一个可计算函数都能用这种形式来表达和求值。因而，它等价于后来提出的图灵机。...
阅读全文
posted @ 2009-10-22 19:28
