lambda calculus

基本解釋

The work from lambda calculus was used to develop functional programming languages, such as Lisp and Scheme.
lambda 演算用于開發(fā)函數(shù)編程語言，例如 Lisp 和 Scheme。
Known as lambda calculus, it was designed to investigate the function definition and application, as well as the concept of recursion.
它被稱為 lambda 演算，用于研究函數(shù)定義與應(yīng)用程序以及遞歸概念。
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 的復(fù)雜性妨礙了您對 lambdas 的使用：它們也只不過是匿名函數(shù)。

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