“Lambda演算”版本间的差异
来自iCenter Wiki
（→Lambda演算） |
|||
| （相同用户的2个中间修订版本未显示） | |||
| 第1行： | 第1行： | ||
| − | + | =Lambda演算= | |
| + | |||
| + | 尽管图灵机（Turing Machine）在计算机科学（CS）课程中教学应用很多，我们还应该对计算的另一个等价模型予以同样的重视程度，这个计算模型叫Lambda演算。 | ||
| + | |||
| + | |||
| + | =Lambda演算= | ||
| + | Lambda演算，也写成λ演算，是计算机科学的最常用的理论工具，是编程语言设计者用于描述编程语言是如何工作的最佳工具。 | ||
函数式编程语言，如haskell、scala甚至lisp这样的语言，是如此强的依赖λ演算，这些语言其实是对纯的λ演算的另一种描述语法。 | 函数式编程语言，如haskell、scala甚至lisp这样的语言，是如此强的依赖λ演算，这些语言其实是对纯的λ演算的另一种描述语法。 | ||
| 第5行： | 第11行： | ||
λ演算的影响，不仅限于相对深奥的功能语言，对python和ruby都有很强的影响，甚至C++模板的元编程也深受λ演算的影响。 | λ演算的影响，不仅限于相对深奥的功能语言，对python和ruby都有很强的影响，甚至C++模板的元编程也深受λ演算的影响。 | ||
| − | [https://plato.stanford.edu/entries/lambda-calculus/ Lambda-Calculus] | + | Lambda演算的说明详见：[https://plato.stanford.edu/entries/lambda-calculus/ Lambda-Calculus] |
| + | |||
| + | =详细文档= | ||
| + | |||
| + | *Haskell与λ演算 | ||
| + | |||
| + | [http://www.cs.princeton.edu/~dpw/cos441-11/index.html CS-441 Programming Languages(2011)] | ||
| + | |||
| + | [https://crypto.stanford.edu/~blynn/lambda/ Ben Lynn website about Lambda演算] | ||
| + | |||
| + | =参考链接= | ||
| + | |||
| + | [http://www.cs.princeton.edu/courses/archive/fall08/cos441/index.htm CS-441 Programming Languages(2008)] | ||
2019年9月2日 (一) 01:17的最后版本
Lambda演算
尽管图灵机（Turing Machine）在计算机科学（CS）课程中教学应用很多，我们还应该对计算的另一个等价模型予以同样的重视程度，这个计算模型叫Lambda演算。
Lambda演算
Lambda演算，也写成λ演算，是计算机科学的最常用的理论工具，是编程语言设计者用于描述编程语言是如何工作的最佳工具。
函数式编程语言，如haskell、scala甚至lisp这样的语言，是如此强的依赖λ演算，这些语言其实是对纯的λ演算的另一种描述语法。
λ演算的影响，不仅限于相对深奥的功能语言，对python和ruby都有很强的影响，甚至C++模板的元编程也深受λ演算的影响。
Lambda演算的说明详见：Lambda-Calculus
详细文档
- Haskell与λ演算
CS-441 Programming Languages(2011)
Ben Lynn website about Lambda演算
