object-oriented-programming

A tweet shares a personal anecdote about explaining object-oriented programming to a humanities student, who insightfully summarized it as 'classification', leading the author to discover applied category theory and a related course.

2003年艾伦·凯的电子邮件阐明了"面向对象编程"的原始含义——以消息传递、数据隐藏和生物学/细胞隐喻为中心，最初有意省略了继承。

本文探讨了里氏替换原则超越其常见解释的内涵，强调其基于子类型的形式化基础，涉及前置条件、后置条件、不变量和历史属性，并引用了原始研究论文。