A theory of objects
Explore A theory of objects by Martín Abadi: 13 Hacker News mentions from 10 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.
Share on XFrom the conversation
Latest 13 source recordsA mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.
This record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on 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
Read on 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…
Read on Hacker News