达特茅斯会议相关人员
发明Lambda演算的作者叫做阿隆佐邱奇(Alonzo Church), 发明图灵机的作者叫做阿兰图灵(Alan Turing)。他们几乎活跃在同一个时代,他们那个时代的数学界有个领袖,叫希尔伯特(David Hilbert, 德国数学家),当然比图灵和邱大不少。简单说,他鼓舞大家去将证明过程纯机械化,这样机器就可以通过形式语言推理出大量定理(是不是有点像人工智能,机器自己把定理枚举了)。当然那个时代没有今天计算能力如此强大的机器,但当时的科学家们已经在思考今天的事情了。图灵和邱奇都受到这股思潮的影响,几乎从不同的角度解决了同一个问题。无论是图灵机还是λ演算,都可以模拟出我们今天的所有程序。
以下网址有介绍:https://zhuanlan.zhihu.com/p/30510749。
"""
PyQt AND OpenCV
By LiNYoUBiAo
2020/4/17 23:48
"""
# 普通函数
def funcA(a, b):
return a+b
# lambda表达式
funcB = lambda a, b: a + b
print(funcA(3, 5))
print(funcB(3, 5))
其中:
funcB = lambda a, b: a + b 就是lambda表达式。
funcB是函数名
lambda是关键字
a,b 表示输入
a+b表示计算方法
lambda表达式在排序中有作用,比较简洁。
PyQt AND OpenCV
By LiNYoUBiAo
2020/4/17 23:48
"""
def age(students):
return students[1]
students = [['Jack', 23], ['Lion', 22], ['Tom', 24], ['Kame', 18]]
students.sort(key=age)
for student in students:
print(student)
其中key=age是按照年龄排序,改为lambda表达式如下:
"""
PyQt AND OpenCV
By LiNYoUBiAo
2020/4/17 23:48
"""
students = [['Jack', 23], ['Lion', 22], ['Tom', 24], ['Kame', 18]]
students.sort(key=lambda students: students[1])
for student in students:
print(student)
可以得到同样的结果。
还有一个函数嵌套的例子就是f(x) = ax*x + bx + c
"""
PyQt AND OpenCV
By LiNYoUBiAo
2020/4/17 23:48
"""
def func(a, b, c):
return lambda x: a*x*x + b*x + c
fun = func(1, -1, 3)
print(fun(3))
print(func(1, -1, 3)(3))
好简洁的表达方法,也接近人的思维。
多谢,美。