“Lambda演算”版本间的差异
来自iCenter Wiki
| 第6行： | 第6行： | ||
[https://plato.stanford.edu/entries/lambda-calculus/ Lambda-Calculus] | [https://plato.stanford.edu/entries/lambda-calculus/ Lambda-Calculus] | ||
| + | |||
| + | [http://www.cs.princeton.edu/courses/archive/fall08/cos441/index.htm CS-441 Programming Languages] | ||
2019年8月26日 (一) 03:13的版本
Lambda演算是计算机科学的最常用的理论工具，是编程语言设计者用于描述编程语言是如何工作的最佳工具。
函数式编程语言，如haskell、scala甚至lisp这样的语言，是如此强的依赖λ演算，这些语言其实是对纯的λ演算的另一种描述语法。
λ演算的影响，不仅限于相对深奥的功能语言，对python和ruby都有很强的影响，甚至C++模板的元编程也深受λ演算的影响。
