oop - OOP 是否基于任何数学分支？

Question

就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持，但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the help center寻求指导。




10年前关闭。




我知道关系数据库基于集合论，函数式编程基于 lambda 演算，逻辑编程基于逻辑(当然:))，现在我想到了；我不确定命令式和通用编程是否也基于任何特定的数学分支。

Answer 1

OOP 并非源于任何严格的形式主义，但它确实是一种形式主义。有许多尝试正确定义这种形式主义。最著名的工作是由 Luca Cardelli 完成的:http://lucacardelli.name/indexPapers.html (请参阅整个“对象”部分)

命令式编程可以基于任何与图灵等效的形式，包括 lambda 演算、SK 逻辑、图灵抽象机、马尔可夫算法或任何其他类似的术语重写系统 (TRS)。通用编程没有任何不同，它是一种术语重写系统。

因此，对于您需要深入研究术语重写系统的所有内容的最常见数学基础。

最近的一项工作是 AbdelGawad 最近在莱斯大学的工作。他建立了一个称为 NOOP 的主流 OOP(例如，Java、C#、C++、Scala、X10 等)的数学模型。这是他博士论文的链接http://scholarship.rice.edu/handle/1911/70199