Python类的数学模型是什么？

Question

我知道来自lambda论文的经典模型对于Python是无效的。

闭包不是Python系统实现的数学模型。

那它是哪种型号的？

Answer 1

Python和模型与关于lambda演算的经典论文的主要区别在于Python是一种多范式语言。大多数考虑lambda演算的论文都考虑纯函数式语言，而不考虑添加其他范例(如OOP或逻辑编程)所涉及的复杂性。

从这个问题和你的评论，我认为你对这种多范式语言的基础感兴趣。在这种情况下，我可以强烈建议彼得·范罗伊和Seif Haridi的计算机编程概念、技术和模型。这本书主要是关于莫扎特/奥兹语言，这本身就是一种相当学术性的语言。然而，这本书非常清楚地展示了如何从一种非常小的核心语言开始，并在此基础上构建面向对象、功能和逻辑编程(以及所有这些都在同一种核心语言中)。

至于实际的数学模型，大多数编程语言只有非正式的或半形式化的规范.你很少会发现有一个像lambda微积分这样的理论作为其基础。有许多不同的数学模型已经被发明和或多或少的适用。有趣的是，对编程语义建模的不同方法有一个普遍的区别:语义可以用表示、操作或代数的方式来描述。如果你想更进一步，那么阅读一下统一编程理论是一个开始，尽管这是一个艰难的开端，它的学习曲线非常陡峭。