4 ms·
OK let's look at reality here. Anything on this earth can be formalized into a mathematical theory. That doesn't mean every formalization is accepted and accred
by leafboi 6y ago
OK let's look at reality here. Anything on this earth can be formalized into a mathematical theory. That doesn't mean every formalization is accepted and accredited by academia.
This book has like three reviews on amazon and in general a formal theory doesn't exist. You won't find a formal theory about OOP calculi on wikipedia.
There are thousands of people in academia and of course at least one of them will attempt to formalize OOP. But largely said and done, overall there is no formal theory that is well accepted. Just random arbitrary attempts at formalization.
- zozbot234 6y agoCardelli's work is actually quite notable in the academic field of programming languages. And it's far from "random" or "arbitrary" given its constraints. It's a rather elegant exposition of OOP semantics.
- leafboi 6y agoLet me come at it from another angle. I'm a bit too blunt. I'm not saying people discredit his work. It could be beautiful and elegant. I'm saying his work isn't accepted in the mainstream meaning generally people don't know about it, nor do people study it and contribute to the theory.