深入解析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访问纯真IP数据库脚本分享
Jun 29 Python
Python for Informatics 第11章 正则表达式(一)
Apr 21 Python
详解python如何调用C/C++底层库与互相传值
Aug 10 Python
python基础教程之五种数据类型详解
Jan 12 Python
python安装numpy&安装matplotlib& scipy的教程
Nov 02 Python
Python pymongo模块用法示例
Mar 31 Python
python读取视频流提取视频帧的两种方法
Oct 22 Python
selenium+python自动化测试之多窗口切换
Jan 23 Python
Python-Tkinter Text输入内容在界面显示的实例
Jul 12 Python
Python Django模板之模板过滤器与自定义模板过滤器示例
Oct 18 Python
python opencv图片编码为h264文件的实例
Dec 12 Python
基于python实现简单C/S模式代码实例
Sep 14 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
Zend Framework教程之Zend_Helpers动作助手ViewRenderer用法详解
2016/07/20 PHP
PHP实现的折半查询算法示例
2017/10/09 PHP
PHP给前端返回一个JSON对象的实例讲解
2018/05/31 PHP
发现的以前不知道的函数
2006/09/19 Javascript
jquery表单验证使用插件formValidator
2012/11/10 Javascript
js/jQuery对象互转(快速操作dom元素)
2013/02/04 Javascript
在Firefox下js select标签点击无法弹出
2014/03/06 Javascript
使用js画图之正弦曲线
2015/01/12 Javascript
分享十五款 jQuery 社交网络分享插件
2015/05/16 Javascript
浅谈javascript事件取消和阻止冒泡
2015/05/26 Javascript
微信小程序 省市区选择器实例详解(附源码下载)
2017/01/05 Javascript
简单实现js选项卡切换效果
2017/02/09 Javascript
微信小程序 wx.login解密出现乱码的问题解决办法
2017/03/10 Javascript
js简单实现网页换肤功能
2017/04/07 Javascript
JS获取鼠标坐标并且根据鼠标位置不同弹出不同内容
2017/06/12 Javascript
webpack 2的react开发配置实例代码
2017/07/28 Javascript
npm全局模块卸载及默认安装目录修改方法
2018/05/15 Javascript
vue+web端仿微信网页版聊天室功能
2019/04/30 Javascript
vue中axios实现数据交互与跨域问题
2019/05/12 Javascript
Node.js学习之内置模块fs用法示例
2020/01/22 Javascript
Vue时间轴 vue-light-timeline的用法说明
2020/10/29 Javascript
Python字符遍历的艺术
2008/09/06 Python
Python使用scrapy采集时伪装成HTTP/1.1的方法
2015/04/08 Python
梯度下降法介绍及利用Python实现的方法示例
2017/07/12 Python
Python实现读取Properties配置文件的方法
2018/03/29 Python
python单例模式实例解析
2018/08/28 Python
Django Form 实时从数据库中获取数据的操作方法
2019/07/25 Python
python3反转字符串的3种方法(小结)
2019/11/07 Python
Python验证码截取识别代码实例
2020/05/16 Python
综合测评自我鉴定
2013/10/08 职场文书
机工车间主任岗位职责
2014/03/05 职场文书
2014年班主任自我评价范文
2014/04/23 职场文书
公司优秀员工获奖感言
2014/08/14 职场文书
离职证明格式样本
2015/06/12 职场文书
小学英语教师研修感悟
2015/11/18 职场文书
科学家研发出新型速效酶,可在 24 小时内降解塑料制品
2022/04/29 数码科技