λ演算

原创 2017年01月03日 01:19:22

第一类对象原则

  • a 属于 Λ 空间
  • 对于任何 M 属于 Λ 空间,且 a 属于 Λ 空间,则 λ a. M 属于 Λ 空间
  • 对于 F、M 属于 Λ 空间,则 F M 属于 Λ 空间

使用 λ 表达式来描述即:
λ` 属于 Λ 空间

  1. λ λ`. λ`

  2. λ` λ`

这是一个递归定义,也就是说任何一条 lambda 表达式的参数以及返回值都可以是 lambda 表达式(该 lambda 表达式的参数以及返回值的 lambda 表达式的参数以及返回值也能是 lambda 表达式)。

由此我们可以定义 lambda 表达式版的 bool 值及其算子:

T = λ x y. x
F = λ x y. y

AND = λ x y. x y F
OR = λ x y. x T y
NOT = λ x. x F T
版权声明:本文为博主原创文章,未经博主允许不得转载。

函数式编程之根-拉姆达运算/演算(λ-calculus)

学习函数式编程的大图(big map)/鸟瞰图
  • yqj2065
  • yqj2065
  • 2016年05月08日 14:38
  • 2145

λ演算

λ 演算 时下函数式程序设计风格甚是流行,新出的语言,比如 F#、golang 天然支持;旧的语言 c++、c# 等则在不断添加对它们的支持。函数式程序设计的主要特点就是:值(value)是不变...
  • zdarks
  • zdarks
  • 2015年07月22日 00:17
  • 762

hadoop2.6.0插件 64λwinutils hadoop.dll.zip

  • 2015年10月10日 16:35
  • 30.38MB
  • 下载

神经网络超参之正则化参数 λ

正则化是避免模型过拟合的标准方法 1、Non-regularized model 2、L2 Regularization 3、dropout Finally, dropout is a w...

Lagrange乘数法中λ的一种解释

  • 2010年06月17日 10:35
  • 206KB
  • 下载

C# λ运算符=>匿名方法 lambda表达式

Lambda 表达式是一个匿名函数,是C# 3.0引入的新特性。Lambda 运算符=>,该运算符读为“goes to”。C#为委托提供一种机制,可以为委托定义匿名方 法,匿名方法没有名称,编译器会...

win7 64λie6@102.exe

  • 2016年02月29日 16:48
  • 286KB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:λ演算
举报原因:
原因补充:

(最多只允许输入30个字)