🤖 AI Summary
EO, a purely object-oriented programming language, lacks a systematic, principled taxonomy for classifying objects.
Method: This paper introduces the first principle-driven, formally defined object taxonomy for EO, grounded in type theory and guided by software engineering design principles—specifically non-redundancy and conceptual simplicity—to ensure both theoretical rigor and practical applicability.
Contributions/Results: (1) A structurally coherent, redundancy-free object hierarchy for EO is established for the first time; (2) A structured navigation graph—directly integrable into IDEs—is produced and has been officially adopted by the EO community as the standard reference framework; (3) The taxonomy provides cross-language transfer value, offering a reusable classification paradigm and methodological guidance for designing object-oriented languages and libraries beyond EO.
📝 Abstract
We introduce a taxonomy of objects for EO programming language. This taxonomy is designed with a few principles in mind: non-redundancy, simplicity, and so on. The taxonomy is supposed to be used as a navigation map by EO programmers. It may also be helpful as a guideline for designers of other object-oriented languages or libraries for them.
