对象理论
A theory of objects
Martín Abadi · 初版 1996 年
4人推荐
10位读者提及
13次提及
为什么值得读
- 提供严格形式证明与丰富语言示例
- 探讨面向对象范式的各种可能实现方式
- 堪称面向对象领域的Lambda立方体
作者采用了一种新颖的方法来理解面向对象语言：通过引入 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 的失败并不是因为缺乏理论，几乎所有人……
…restrictive designs are always faster by several orders of magnitude for their specific domains. There is absolutely a theory behind objects, I urge you to read Luca Cardelli and Martin Abadi's monograph "A Theory of Objects", you'll find all the answers you're looking for there with both rigorous proofs and examples from languages (real and imagined). OODBs did not fail because of a lack of theory, nearly all of the people…
如果你想了解其他语言是怎样运作的（类似于 lambda-cube 的面向对象版本），建议读读 Cardelli 和 Abadi 的《A Theory of Objects》：http://www.amazon.com/dp/0387947752
If you want to know how other languages could work, in the sense of an OO version of the lambda-cube, read Cardelli and Abadi's Theory of Objects: http://www.amazon.com/dp/0387947752
……远比那种常见的林奈式分类法要面向对象得多。多关注关注 Alan Kay，而不是 Stroustrup 或 Gosling。如果你真想搞懂 OOP 是什么、曾经是什么、可以是什么，去读 Cardelli 和 Abadi 的《A Theory of Objects》吧。前半部分网上有公开版本，涵盖了你会关心的内容：http://books.google.com/books?id=4xT3LgCPP5UC
…is far more object-oriented than the usual Linnaean classicism. Pay attention to Alan Kay, not Stroustrup or Gosling. If you really want to know what OOP is / was / can be, read Cardelli and Abadi's A Theory of Objects. The first half is available online, and covers the parts you'd care about: http://books.google.com/books?id=4xT3LgCPP5UC
你可能会对 Cardelli 等人写的《A Theory of Objects》感兴趣（参见 https://www.amazon.com/-/de/dp/0387947752）。
You might be interesten in "A Theory of Objects" by Cardelli et al. (see https://www.amazon.com/-/de/dp/0387947752).
Kiczales 的那本书已经有人提过了。再推荐两本：1) Abadi 和 Cardelli 写的《A Theory of Objects》。2) Forman 和 Danforth 写的《Putting Metaclasses to Work》（Guido Van Rossum 在亚马逊上推荐过！）。
The Kiczales book has already been mentioned. Two more: 1) A Theory of Objects by Abadi and Cardelli. 2) Putting Metaclasses to Work by Forman and Danforth (Guido Van Rossum recommends it on Amazon!).
……拿这事儿来喷 Josh Bloch 完全有失公允。对继承进行严谨建模（包括覆盖 override、开放递归 open recursion 以及协变 self 类型）事实证明相当有挑战性；感兴趣的朋友我推荐 Abadí 和 Cardelli 的《A Theory of Objects》。关于软件设计，我现在关注的最有意思的东西是 Jackson 的 Alloy 模型检查器，它做了一种抽象解释穷举……
…entirely fair to ding Josh Bloch for this. Rigorously modeling inheritance (with overriding, open recursion, and covariant self type) turns out to be quite challenging; I recommend Abadí and Cardelli's A Theory of Objects to those who are interested. The most interesting thing I'm looking at right now with regard to software design is Jackson's Alloy model checker, which does a kind of abstract-interpretation exhaustive…