landboat

摘要： 此文章来源于网络，是学习lambda演算过程的总结与复习，着重于探讨“为什么(Why)”与“怎么做(How)”，也希望能对看到它的人学习了解这个形式系统有些微帮助。 由于之前看了不少wiki、tutorial、introduction之流，绝大多数读过之后仅知其然而不知其所以然，我不知道为什么它们都 阅读全文

摘要： 1.科里化 def lambda_curry2(func): """ Returns a Curried version of a two-argument function FUNC. """ return lambda x: lambda y: func(x, y) 这段代码定义了一个名为 la 阅读全文