3 ms·
People disagree widely on what OOP really is/means. I've read and been in many definition debates. Even defining what inheritance, polymorphism, and encapsulati
by tabtab 6y ago
People disagree widely on what OOP really is/means. I've read and been in many definition debates. Even defining what inheritance, polymorphism, and encapsulation is, is also a can of worms.
- Rochus 6y agoWell, some people disagree, as usual; not really an issue; if you need a theory and formal semantics, consult the standard work: https://www.amazon.com/Theory-Objects-Monographs-Computer-Science/dp/0387947752 https://www.amazon.com/Theory-Objects-Monographs-Computer-Sc....
- tabtab 6y agoThat's just one person's model. It may be an interesting model, but it's not necessarily "true" in the sense of acceptance. Type theory is also a model, not a definition. It's useful in the practical sense, but that doesn't necessarily mean it defines "types". Competing models may be developed.