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.
它被稱爲(wèi) 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 的複襍性妨礙了您對(duì) 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