A theory of objects
了解 Martín Abadi 的《A theory of objects》（A theory of objects）：2007-02-22–2026-11-01 的 Hacker News 数据中有 13 次提及、10 位讨论者。阅读原文摘录、比较不同观点，将它加入你的书单。
分享到 X社区里的声音
最近 13 条来源记录提及不等于推荐。标签来自源数据的自动分类；请打开原始讨论核对上下文。
此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文…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
在 Hacker News 阅读原文…er 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 writing and using RDBs have a poor grounding in the theory -- see Fabian Pascal's contention that all of the failings of extant RDBs are because they are not relational enough , that SQL is not relational . OODBs failed because the commercial Smalltalk vendors who had quality products all faded from view, and the term was hijacked by marketing departments pushing bullshit. The solution I see [Google, eBay, Amazon, etc.] using is to use the DB as raw sim…
在 Hacker News 阅读原文