深入解析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实现从脚本里运行scrapy的方法
Apr 07 Python
python爬虫系列Selenium定向爬取虎扑篮球图片详解
Nov 15 Python
python+django加载静态网页模板解析
Dec 12 Python
浅谈numpy库的常用基本操作方法
Jan 09 Python
Python实现将json文件中向量写入Excel的方法
Mar 26 Python
python中实现数组和列表读取一列的方法
Apr 03 Python
python opencv minAreaRect 生成最小外接矩形的方法
Jul 01 Python
Python调用钉钉自定义机器人的实现
Jan 03 Python
使用sklearn的cross_val_score进行交叉验证实例
Feb 28 Python
win10从零安装配置pytorch全过程图文详解
May 08 Python
浅谈Tensorflow加载Vgg预训练模型的几个注意事项
May 26 Python
Pyhton爬虫知识之正则表达式详解
Apr 01 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
攻克CakePHP系列二 表单数据显示
2008/10/22 PHP
php 下载保存文件保存到本地的两种实现方法
2013/08/12 PHP
PHP实现通过中文字符比率来判断垃圾评论的方法
2014/10/20 PHP
PHP实现上传图片到数据库并显示输出的方法
2018/05/31 PHP
mongodb和php的用法详解
2019/03/25 PHP
基于laravel-admin 后台 列表标签背景的使用方法
2019/10/03 PHP
javascript prototype原型操作笔记
2009/12/07 Javascript
qTip2 精致的基于jQuery提示信息插件
2012/02/17 Javascript
jQuery 下拉列表 二级联动插件分享
2012/03/29 Javascript
复选框全选与全不选操作实现思路
2013/08/18 Javascript
DIV随滚动条滚动而滚动的实现代码【推荐】
2016/04/12 Javascript
Bootstrap每天必学之警告框插件
2016/04/26 Javascript
使用jQuery实现Web页面换肤功能的要点解析
2016/05/12 Javascript
pc加载更多功能和移动端下拉刷新加载数据
2016/11/07 Javascript
原生js实现淘宝购物车功能
2020/06/23 Javascript
React-Native做一个文本输入框组件的实现代码
2017/08/10 Javascript
微信小程序实现多选框功能的实例代码
2020/06/24 Javascript
Python文档生成工具pydoc使用介绍
2015/06/02 Python
python文件操作相关知识点总结整理
2016/02/22 Python
基于python 字符编码的理解
2017/09/02 Python
python调用opencv实现猫脸检测功能
2019/01/15 Python
Python高级特性——详解多维数组切片(Slice)
2019/11/26 Python
Python 中@property的用法详解
2020/01/15 Python
Python代码执行时间测量模块timeit用法解析
2020/07/01 Python
法国太阳镜店:Sunglasses Shop
2016/08/27 全球购物
马来西亚航空官方网站:Malaysia Airlines
2017/07/28 全球购物
澳大利亚设计的优质鞋类和适合澳大利亚生活方式的服装:Rivers
2019/04/23 全球购物
铭宣海淘转运:美国、日本、英国转运等全球转运公司
2019/09/10 全球购物
广州御银科技股份有限公司试卷(C++)
2016/11/04 面试题
详解如何解决使用JSON.stringify时遇到的循环引用问题
2021/03/23 Javascript
销售部主管岗位职责
2013/12/18 职场文书
出国签证在职证明
2014/01/16 职场文书
电气个人求职信范文
2014/02/04 职场文书
检讨书格式
2015/01/23 职场文书
商务邀请函
2015/01/30 职场文书
小学语文新课改心得体会
2016/01/22 职场文书