对象理论
A theory of objects
Martín Abadi · 初版 1996 年
- 13次提及
- 4人推荐
- 10位 HN 评论者
简介
作者采用了一种新颖的方法来理解面向对象语言：通过引入 object calculi 并围绕其建立对象理论。本书既涵盖了对象的语义及其类型规则，又解释了一系列面向对象的概念，如 self、dynamic dispatch、classes、inheritance、prototyping、subtyping、covariance and contravariance 以及 method specialization。（摘自封底文案）
Hacker News 读者推荐
……限制性强的设计在特定领域往往能快上好几个数量级。对象背后绝对是有理论支撑的，我强烈建议你去读读 Luca Cardelli 和 Martin Abadi 的专著《A Theory of Objects》，里面不仅有严谨的证明，还有来自（现实与假想）语言的各种示例，能解答你想知道的一切。OODB 的失败并不是因为缺乏理论，几乎所有人……
blasdel 在 HN 的推荐
如果你想了解其他语言是怎样运作的（类似于 lambda-cube 的面向对象版本），建议读读 Cardelli 和 Abadi 的《A Theory of Objects》：http://www.amazon.com/dp/0387947752
blasdel 在 HN 的推荐
……远比那种常见的林奈式分类法要面向对象得多。多关注关注 Alan Kay，而不是 Stroustrup 或 Gosling。如果你真想搞懂 OOP 是什么、曾经是什么、可以是什么，去读 Cardelli 和 Abadi 的《A Theory of Objects》吧。前半部分网上有公开版本，涵盖了你会关心的内容：http://books.google.com/books?id=4xT3LgCPP5UC
blasdel 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0387947752
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。