lambda calculus

基本解释

The work from lambda calculus was used to develop functional programming languages, such as Lisp and Scheme.
lambda 演算用于开发函数编程语言，例如 Lisp 和 Scheme。
Known as lambda calculus, it was designed to investigate the function definition and application, as well as the concept of recursion.
它被称为 lambda 演算，用于研究函数定义与应用程序以及递归概念。
But don't let the complexity of calculus dissuade you from using lambdas: They are really nothing more than anonymous functions. The following function definition, for example, is a lambda
但是，不要让 calculus 的复杂性妨碍了您对 lambdas 的使用：它们也只不过是匿名函数。

a formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of certain high-level programming languages