Lambda

Lambda 首页 / 函数式入门教程 / Lambda

Lambda演算是Alonzo Church在1930年代开发的框架,用于研究具有函数的计算。

微积分的语法

Lambda演算包含三种不同类型的表达式,即

E::= x (变量)

| E 1 E 2 (函数应用)

| λx.E(函数创建)

其中λx.E被称为Lambda抽象,而E被称为λ表达式。

判断微积分

纯lambda演算没有内置函数,让我们判断以下表达式-

(+ (* 5 6) (* 8 3)) 

在这里,我们不能以" +"开头,因为它仅对数字起作用。有两个可简化表达式:(* 5 6)和(* 8 3)。

无涯教程网

我们可以先减少一个。如-

(+ (* 5 6) (* 8 3)) 
(+ 30 (* 8 3)) 
(+ 30 24) 
= 54

β-reduction法则

我们需要一个简化规则来处理λs

x . * 2 x) 4 
(* 2 4) 
= 8

这称为β-reduction。

形式参数可以多次使用-

x . + x x) 4 
(+ 4 4) 
= 8

当有多个术语时,我们可以按以下方式处理它们-

x . x . + (- x 1)) x 3) 9 

内部 x 属于内部λ,外部x属于外部λ。

x . + (- x 1)) 9 3 
+ (- 9 1) 3 
+ 8 3 
= 11

自由和绑定变量

在表达式中,变量的每个出现都是"free"(对λ)或"bound"(对λ)。

(λx。E) y的β还原将 E 中自由出现的每个 x 替换为 y 。如-

Bound Variables

Alpha-Reduction

Alpha Reduction非常简单,无需更改lambda表达式的含义即可完成。

λx . x . x) (+ 1 x)  α λx . y . y) (+ 1 x) 

如-

x . x . + (- x 1)) x 3) 9 
x . y . + (- y 1)) x 3) 9 
y . + (- y 1)) 9 3 
+ (- 9 1) 3 
+ 8 3 
11 

祝学习愉快!(内容编辑有误?请选中要编辑内容 -> 右键 -> 修改 -> 提交!)

技术教程推荐

深入拆解Java虚拟机 -〔郑雨迪〕

Swift核心技术与实战 -〔张杰〕

DDD实战课 -〔欧创新〕

设计模式之美 -〔王争〕

动态规划面试宝典 -〔卢誉声〕

说透芯片 -〔邵巍〕

PyTorch深度学习实战 -〔方远〕

编程高手必学的内存知识 -〔海纳〕

React Native 新架构实战课 -〔蒋宏伟〕

好记忆不如烂笔头。留下您的足迹吧 :)