2019年9月2日 (一) 01:17的最后版本

Lambda演算

尽管图灵机（Turing Machine）在计算机科学（CS）课程中教学应用很多，我们还应该对计算的另一个等价模型予以同样的重视程度，这个计算模型叫Lambda演算。

Lambda演算，也写成λ演算，是计算机科学的最常用的理论工具，是编程语言设计者用于描述编程语言是如何工作的最佳工具。

函数式编程语言，如haskell、scala甚至lisp这样的语言，是如此强的依赖λ演算，这些语言其实是对纯的λ演算的另一种描述语法。

λ演算的影响，不仅限于相对深奥的功能语言，对python和ruby都有很强的影响，甚至C++模板的元编程也深受λ演算的影响。

Lambda演算的说明详见：Lambda-Calculus

@@ 第1行： / 第1行： @@
 =Lambda演算=
-图灵机在CS课程中教学应用很多，不过我们应该对计算的另一个等价模型予以同样的重视程度，这个计算模型叫Lambda演算。
+尽管图灵机（Turing Machine）在计算机科学（CS）课程中教学应用很多，我们还应该对计算的另一个等价模型予以同样的重视程度，这个计算模型叫Lambda演算。
+=Lambda演算=
 Lambda演算，也写成λ演算，是计算机科学的最常用的理论工具，是编程语言设计者用于描述编程语言是如何工作的最佳工具。