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