λ演算

原创 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
版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

λ演算

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

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

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

java8入门(一) --λ表达式

java8学习(一) –λ表达式先来看一个简单的接口,通过学生的学号获取姓名,假设接口是这样子的。package help.mygod.java8;public interface IStudent ...

win7 64λie6@102.exe

  • 2016-02-29 16:48
  • 286KB
  • 下载

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

C# λ运算符=>匿名方法 lambda表达式 来源:霸者之傲十郎   Lambda 表达式是一个匿名函数,是C# 3.0引入的新特性。Lambda 运算符=>,该运算符读...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

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