欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Lambda
来自开放百科 - 灰狐
				
								
				(版本间的差异)
				
																
				
				
								
小 (→图集)  | 
			小 (→语言)  | 
			||
| 第13行: | 第13行: | ||
*[[Lisp]]  | *[[Lisp]]  | ||
*[[Erlang]]  | *[[Erlang]]  | ||
| + | *[[Kotlin]]  | ||
*[[Clojure]]  | *[[Clojure]]  | ||
*[[Python]]  | *[[Python]]  | ||
2017年12月10日 (日) 04:51的最后版本
|   | 
您可以在Wikipedia上了解到此条目的英文信息 Lambda Thanks, Wikipedia. | 
Lambda, lambda calculus, λ-calculus, Lambda Architecture, λ演算
Lambda演算可以被称为最小的通用程序设计语言。它包括一条变换规则(变量替换)和一条函数定义方式,Lambda演算之通用在于,任何一个可计算函数都能用这种形式来表达和求值。因而,它是等价于图灵机的。尽管如此,Lambda演算强调的是变换规则的运用,而非实现它们的具体机器。可以认为这是一种更接近软件而非硬件的方式。
Python使用lambda来创建匿名函数
目录 | 
[编辑] 语言
[编辑] 项目
[编辑] 图集
[编辑] 链接
	分享您的观点