深入解析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学习笔记(二)基础语法
Jun 06 Python
Python下singleton模式的实现方法
Jul 16 Python
python求crc32值的方法
Oct 05 Python
Python实现MySQL操作的方法小结【安装,连接,增删改查等】
Jul 12 Python
Python 给定的经纬度标注在地图上的实现方法
Jul 05 Python
python利用JMeter测试Tornado的多线程
Jan 12 Python
python默认参数调用方法解析
Feb 09 Python
使用Python对Dicom文件进行读取与写入的实现
Apr 20 Python
python3 re返回形式总结
Nov 20 Python
Python实现京东抢秒杀功能
Jan 25 Python
python requests模块的使用示例
Apr 07 Python
Python按顺序遍历并读取文件夹中文件
Apr 29 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的SQL注入实现(测试代码安全不错)
2011/02/27 PHP
php学习之简单计算器实现代码
2011/06/09 PHP
探讨方法的重写(覆载)详解
2013/06/08 PHP
PHP实现今天是星期几的几种写法
2013/09/26 PHP
PHP7新功能总结
2019/04/14 PHP
ajaxControlToolkit AutoCompleteExtender的用法
2008/10/30 Javascript
如何让浏览器支持jquery ajax load 前进、后退功能
2014/06/12 Javascript
js返回前一页刷新本页重载页面
2014/07/29 Javascript
jQuery获取元素父节点的方法
2016/06/21 Javascript
利用python分析access日志的方法
2016/10/26 Javascript
Node.js获取前端ajax提交的request信息
2017/02/20 Javascript
浅析vue给不同环境配置不同打包命令
2018/08/17 Javascript
vue中进入详情页记住滚动位置的方法(keep-alive)
2018/09/21 Javascript
详解VUE里子组件如何获取父组件动态变化的值
2018/12/26 Javascript
Vue中关闭弹窗组件时销毁并隐藏操作
2020/09/01 Javascript
Python中使用Flask、MongoDB搭建简易图片服务器
2015/02/04 Python
Python爬虫中urllib库的进阶学习
2018/01/05 Python
python3.5基于TCP实现文件传输
2020/03/20 Python
pandas 空数据处理方法详解
2019/11/02 Python
Python time库基本使用方法分析
2019/12/13 Python
通过python调用adb命令对App进行性能测试方式
2020/04/23 Python
python实现数字炸弹游戏程序
2020/07/17 Python
Html5 web本地存储实例详解
2016/07/28 HTML / CSS
美国葡萄酒网上商店:Martha Stewart Wine Co.
2019/03/17 全球购物
大家检讨书5000字
2014/02/03 职场文书
企业道德讲堂实施方案
2014/03/19 职场文书
《花木兰》教学反思
2014/04/09 职场文书
刊首寄语大全
2014/04/11 职场文书
意向书范本
2014/07/29 职场文书
2014年国庆节演讲稿精选范文1500字
2014/09/25 职场文书
同事打架检讨书
2015/05/06 职场文书
给朋友的道歉短信
2015/05/12 职场文书
matplotlib如何设置坐标轴刻度的个数及标签的方法总结
2021/06/11 Python
Mysql数据库中datetime、bigint、timestamp来表示时间选择,谁来存储时间效率最高
2021/08/23 MySQL
python中的getter与setter你了解吗
2022/03/24 Python
JS前端可扩展的低代码UI框架Sunmao使用详解
2022/07/23 Javascript