最近看了一下 λ 演算。比如说，众所周知的 λ 演算里没有 a = b，赋值都靠函数参数来搞定。而 Python 也不允许你在 lambda 里写赋值操作，如果学习过 λ 演算，写 Python 的 lambda 其实感觉还行，至少不会说它难用。
看的时候顺便整了个活，Y 组合子。https://gist.github.com/abersheeran/80709d4ffd7e83c1206dbcc8df11d4d5
Y = lambda g: (lambda f: g(lambda arg: f(f)(arg))) (lambda f: g(lambda arg: f(f)(arg))) if __name__ == "__main__": fib = Y(lambda f: lambda n: (1 if n < 3 else f(n-1) + f(n-2))) print(fib(10)) 它的设计理念基于 SKI combinator calculus，只用其中的 s 和 k 两个组合子，就能做到图灵完备。当然 Unlambda 还有 call/cc，有 promise，有 I/O 函数，所以写起来也挺有趣的
我之前还写过 Unlambda 的几个实现，（见我发过的帖子），实现起来也很有趣
@hsfzxjy 哈哈哈，确实是有 Python 的库支持 Monad，不过我觉得在 Python 里太多余了。
几个大佬说不好用，一群菜鸟跟着说不好用。自己也不想想不好用在哪儿。一群人，人云亦云。上一次遇到这事，还是 C 里的 goto 。
这和大不大佬，菜不菜鸡没关系，是个人都能用出来 python 的 lambda 难用的一笔。对比 swift 的 closure，c++的 lambda 。
我写 Python 就是 Python，写 JavaScript 就是 JavaScript 。我从来不写 JavaScript 风格的 Python，也不写 Python 风格的 JavaScript 。所以我从不觉得 Python lambda 难用，也从不觉得 JavaScript 的箭头匿名函数用不上。
认可一个语言有一个语言的风格，但 python 的这个“风格”还不让人觉得难用吗？
咱能用直觉来看问题吗？
这不妨碍我觉得 python 是一门非常好用的语言，并且也是我在工作中用的最多的语言之一，用的越多越觉得它的 lambda 很垃圾。
函数是 first class, python 做到了吗，至少函数定义没有，你必须得先定义函数名字，才能被传参，被使用。弄个半吊子 lamba 来凑活，就不用拿来吹了。一个表达式写多行，被迫续行，还得兼顾缩进，要不然没法读，写起来好玩吗？我看 python 没搞匿名函数，就是缩进语法害的。js 写起来舒服多了。
还有函数式就一定要排斥过程？只要你的过程，中间产物全封闭在函数局部作用域，对外就是个抽象函数，没有副作用。函数是过程的抽象，你管人家怎么实现的。为了你的装逼，写成一个表达式，要搞多少弯弯绕绕。先搞几个 let，loop 宏出来再说。可惜，python 没有宏，恭喜你一行一行写。最后恭喜你，堆栈溢出。
不是一定要夸或者贬低什么，python lambda 就是个补充，解决了一些问题。但也没必要非拿短板来硬套吧。
你说的这些缺点都是客观存在的，所以 Python 代码一般也不鼓励大量使用 lambda 。这个 Y 组合子纯粹是我写着练手，当智力游戏玩的。让你误会了，不好意思啊。
它的代换规则确实很简单，但是这种从简单的元素开始“构建一切”的东西，理解如何构建很难。
不怕笑话，我觉得挺难的。比如纯粹用函数表示整数、加减乘除。都写成 lambda，看起来都差不多。
我理解研究人员可能会用吧，现在的程序员普遍程序员普遍用不到。
像 Y combinator 这种东西，就算不知道它是啥也能写出递归。