深入解析Python中的lambda表达式的用法


Posted in Python onAugust 28, 2015

普通的数学运算用这个纯抽象的符号演算来定义,计算结果只能在脑子里存在。所以写了点代码,来验证文章中介绍的演算规则。

我们来验证文章里介绍的自然数及自然数运算规则。说到自然数,今天还百度了一下,据度娘说,1993年后国家规定0是属于自然数。先定义自然数及自然数的运算规则:

用lambda表达式定义自然数(邱齐数)

0 := λf.λx.x
1 := λf.λx.f x
2 := λf.λx.f (f x)
3 := λf.λx.f (f (f x))
...

上面定义直观的意思就是数字n, 是f(x)的n阶函数。1就是f(x), 2就是f(f(x))....,严格来说,这样表述并不准确。其实每个邱奇数都是一个二阶函数,它有两个变量f和x。用二元命名函数来表达就是:

0 -> num0(f,x)=x
1 -> num1(f, x)=f(x)
2 -> num2(f,x)=f(f(x))
3 -> num3(f,x)=f(f(f(x)))
...

 其中参数f是一个函数。这一段有点绕,但是不能理解这个,对后面的lambda演算理解会比较困难。

首先用递归法,定义邱齐数(自然数)

0是自然数,  度娘说1993年后,国家规定0是属于自然数。

每个自然数,都有一个后续。

用代码表达就是:

NUM0=lambda f: lambda x:x
SUCC=lambda n: lambda f: lambda x: f(n(f)(x))

后面则是定义运算符,包括加法,乘法,减法和幂。维基文章里没有介绍除法,估摸着除法定义比较复杂,一时讲不清楚。那我们也不验证了。

################################################
#define number calculus rules
################################################
 
#define Church numeral inductively.
#0 := λf.λx.x
#1 := λf.λx.f x
#2 := λf.λx.f (f x)
#3 := λf.λx.f (f (f x))
#...
NUM0=lambda f: lambda x:x
SUCC=lambda n: lambda f: lambda x: f(n(f)(x))
 
#define Operator
PLUS=lambda m: lambda n: m(SUCC)(n)
MULT= lambda m: lambda n: m(PLUS(n))(NUM0)
#define predecessor to obtain the previous number.
PRED= lambda n: lambda f: lambda x: n(lambda g: lambda h: h(g(f)))(lambda u:x)(lambda u:u)
SUB=lambda m: lambda n: n(PRED)(m)
POW=lambda b: lambda e: e(b)

定义完了什么是自然数和自然数的运算子。那么自然数的运算,就可以用lambda演算的方式计算了。

问题是上面的定义都是抽象的符号演算,我们需要有一个编码器来把上面的抽象的Church numeral符号编码成可以人来阅读的形式,还需把人输入的数字解码成抽象符号。

################################################
#create encoder to input/output Church numeral
################################################
 
class LambdaEncoding:
  @staticmethod
  def encoding(exp,encoder):
    return encoder().encoding(exp)
  @staticmethod
  def decoding(s, decoder):
    return decoder().decoding(s)
   
class NumEncoder:
  def encoding(self,num):
    f=lambda x:x+1
    return str(num(f)(0))
  def decoding(self,s):
    n=int(s)
    num=NUM0
    for i in range(n):
      num=SUCC(num)
    return num

嗯,有了编码器,就可以方便的来验证了。

################################################
#calculus demo
################################################
print("demo number calculus.\n"
   "don't input large number,"
   "it will cause to exceed maximum recursion depth!\n")
 
n1=input('input a number: ')
n2=input('input anohter number: ')
#decode string to Church numeral
num1=LambdaEncoding.decoding(n1,NumEncoder)
num2=LambdaEncoding.decoding(n2,NumEncoder)
   
#add
result=PLUS(num1)(num2)
 
print('{0} + {1} = {2}'.format(
  n1,
  n2,
  LambdaEncoding.encoding(result, NumEncoder)))
 
#mult
result=MULT(num1)(num2)
print('{0} X {1} = {2}'.format(
  n1,
  n2,
  LambdaEncoding.encoding(result, NumEncoder)))
#sub
result=SUB(num1)(num2)
print('{0} - {1} = {2}'.format(
  n1,
  n2,
  LambdaEncoding.encoding(result, NumEncoder)))
 
#POW
result=POW(num1)(num2)
print('{0} ^ {1} = {2}'.format(
  n1,
  n2,
  LambdaEncoding.encoding(result, NumEncoder)))

测试结果如下:

>>> 
demo number calculus.
don't input large number,it will cause to exceed maximum recursion depth!
 
input a number: 4
input anohter number: 3
4 + 3 = 7
4 X 3 = 12
4 - 3 = 1
4 ^ 3 = 64
>>>

神奇吧。

lambda和def的区别
python lambda是在python中使用lambda来创建匿名函数,而用def创建的方法是有名称的,除了从表面上的方法名不一样外,python lambda还有哪些和def不一样呢?
1 python lambda会创建一个函数对象,但不会把这个函数对象赋给一个标识符,而def则会把函数对象赋值给一个变量。
2 python lambda它只是一个表达式,而def则是一个语句。
下面是python lambda的格式,看起来好精简阿。

lambda x: print x

如果你在python 列表解析里用到python lambda,我感觉意义不是很大,因为python lambda它会创建一个函数对象,但马上又给丢弃了,因为你没有使用它的返回值,即那个函数对象。也正是由于lambda只是一个表达式,它可以直接作为python 列表或python 字典的成员,比如:

info = [lamba a: a**3, lambda b: b**3]

在这个地方没有办法用def语句直接代替。因为def是语句,不是表达式不能嵌套在里面,lambda表达式在“:”后只能有一个表达式。也就是说,在def中,用return可以返回的也可以放在lambda后面,不能用return返回的也不能定义在python lambda后面。因此,像if或for或print这种语句就不能用于lambda中,lambda一般只用来定义简单的函数。
下面举几个python lambda的例子吧
1单个参数的:

g = lambda x:x*2
print g(3)

结果是6
多个参数的:

m = lambda x,y,z: (x-y)*z
print m(3,1,2)

结果是4

Python 相关文章推荐
Python中用max()方法求最大值的介绍
May 15 Python
Python装饰器知识点补充
May 28 Python
Python求一批字符串的最长公共前缀算法示例
Mar 02 Python
python爬虫租房信息在地图上显示的方法
May 13 Python
关于Python作用域自学总结
Jun 10 Python
解决安装python3.7.4报错Can''t connect to HTTPS URL because the SSL module is not available
Jul 31 Python
Python 生成一个从0到n个数字的列表4种方法小结
Nov 28 Python
python实现异常信息堆栈输出到日志文件
Dec 26 Python
浅谈对pytroch中torch.autograd.backward的思考
Dec 27 Python
基于Python的Jenkins的二次开发操作
May 12 Python
Python2手动安装更新pip过程实例解析
Jul 16 Python
Python入门之使用pandas分析excel数据
May 12 Python
两个使用Python脚本操作文件的小示例分享
Aug 27 #Python
简介二分查找算法与相关的Python实现示例
Aug 26 #Python
使用Python的Bottle框架写一个简单的服务接口的示例
Aug 25 #Python
栈和队列数据结构的基本概念及其相关的Python实现
Aug 24 #Python
如何使用七牛Python SDK写一个同步脚本及使用教程
Aug 23 #Python
Python中for循环和while循环的基本使用方法
Aug 21 #Python
Python中条件判断语句的简单使用方法
Aug 21 #Python
You might like
php中使用explode查找某个字符是否存在的方法
2011/07/12 PHP
几个有用的php字符串过滤,转换函数代码
2012/05/01 PHP
thinkPHP交易详情查询功能详解
2016/12/02 PHP
PHP在弹框中获取foreach中遍历的id值并传递给地址栏
2017/06/13 PHP
phpcmsv9.0任意文件上传漏洞解析
2020/10/20 PHP
js对文章内容进行分页示例代码
2014/03/05 Javascript
js Object2String方便查看js对象内容
2014/11/24 Javascript
JavaScript将字符串转换成字符编码列表的方法
2015/03/19 Javascript
JavaScript数据结构与算法之栈与队列
2016/01/29 Javascript
详解jQuery UI库中文本输入自动补全功能的用法
2016/04/23 Javascript
jQuery实现的简单对话框拖动功能示例
2018/06/05 jQuery
详解Vue.js v-for不支持IE9的解决方法
2018/12/29 Javascript
JS实现的全选、全不选及反选功能【案例】
2019/02/19 Javascript
js实现倒计时器自定义时间和暂停
2019/02/25 Javascript
微信小程序和H5页面间相互跳转代码实例
2019/09/19 Javascript
JS中间件设计模式的深入探讨与实例分析
2020/04/11 Javascript
快速解决element的autofocus失效问题
2020/09/08 Javascript
vue video和vue-video-player实现视频铺满教程
2020/10/30 Javascript
Python实现身份证号码解析
2015/09/01 Python
Django 如何获取前端发送的头文件详解(推荐)
2017/08/15 Python
python判断计算机是否有网络连接的实例
2018/12/15 Python
python 实现返回一个列表中出现次数最多的元素方法
2019/06/11 Python
详解python websocket获取实时数据的几种常见链接方式
2019/07/01 Python
用Python获取摄像头并实时控制人脸的实现示例
2019/07/11 Python
Python将文字转成语音并读出来的实例详解
2019/07/15 Python
django 简单实现登录验证给你
2019/11/06 Python
Python是怎样处理json模块的
2020/07/16 Python
创业计划书的内容步骤和要领
2014/01/04 职场文书
小学家长会邀请函
2014/01/23 职场文书
背起爸爸上学观后感
2015/06/08 职场文书
导游词之泉州崇武古城
2019/12/20 职场文书
vue前端工程的搭建
2021/03/31 Vue.js
pdf论文中python画的图Type 3 fonts字体不兼容的解决方案
2021/04/24 Python
MySQL如何构建数据表索引
2021/05/13 MySQL
vue-cropper组件实现图片切割上传
2021/05/27 Vue.js
2022新作动画《福星小子》释出宣传影片 加入内田真礼&宫野真守配音演出
2022/04/08 日漫