2 ms·
Even the most fundamental types in smalltalk derivatives are circularly defined (using Ruby as an example: Object is an instance of Class, and Class inherits fr
by cout 5y ago
Even the most fundamental types in smalltalk derivatives are circularly defined (using Ruby as an example: Object is an instance of Class, and Class inherits from Object). Circularity doesn't make this any less useful as a model, just more difficult to reason about. It's a tradeoff.
- ProfHewitt 5y agoAxiomatization up to a unique isomorphism is the way out of the circularity. Actors have been automatized up to a unique isomorphism. See the following: * https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021 * https://papers.ssrn.com/abstract=3418003 https://papers.ssrn.com/abstract=3418003