英语单词查询
lambdology
「lambdology」的意思
n. λ 噬菌体学
n.[生]λ噬菌体学
「lambdology」的用法
lambdology研究或讨论lambda表达式的学问或领域 - 计算机科学和编程
「lambdology」的例句
Lambda calculus is a formal system in mathematical logic for expressing computation based on function abstraction and application.
lambda演算是数学逻辑中的一种形式系统，用于基于函数抽象和应用来表达计算。
In functional programming, lambda expressions are used to create anonymous functions.
在函数式编程中，lambda表达式用于创建匿名函数。
Lambda calculus is foundational to the design of many programming languages.
lambda演算是许多编程语言设计的基础。
The concept of lambda expressions was introduced by Alonzo Church in the 1930s.
lambda表达式的概念由Alonzo Church在20世纪30年代引入。
Lambda calculus can be used to express recursion without using named functions.
lambda演算可以用来表达递归，而不需要使用命名函数。
In computer science, lambda calculus provides a simple way to define and manipulate functions.
在计算机科学中，lambda演算提供了一种简单的方式来定义和操作函数。
Many modern programming languages support lambda expressions as a feature.
许多现代编程语言都支持lambda表达式作为特性。
The use of lambda expressions in Python makes it easier to write concise and readable code.
在Python中使用lambda表达式可以使代码更简洁和易读。
Lambda calculus is closely related to other areas of mathematics and computer science.
lambda演算与其他数学和计算机科学领域紧密相关。
In mathematics, lambda calculus is used to study computability and definability.
在数学中，lambda演算用于研究可计算性和定义性。