lambda calculus

英音[ ˈlæmdə ˈkælkjələs ] 美音[ ˈlæmdə ˈkælkjələs ]
λ演算:一种用于研究函数抽象和应用的形式系统
常用释义
λ演算:一种用于研究函数抽象和应用的形式系统,广泛应用于计算机科学、逻辑学和数学等领域。

例句

1·Known as lambda calculus, it was designed to investigate the function definition and application, as well as the concept of recursion.

它被称为lambda演算,用于研究函数定义与应用程序以及递归概念。

2·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的使用:它们也只不过是匿名函数。