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