Affiliation:
1. Carnegie Mellon University, Pittsburgh, PA, USA
Abstract
Multiple inheritance has long been plagued with the "diamond" inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we address the diamond problem directly, considering two difficulties it causes: ensuring a correct semantics for object initializers, and typechecking multiple dispatch in a modular fashion-the latter problem arising even with multiple interface inheritance. We show that previous solutions to these problems are either unsatisfactory or cumbersome, and suggest a novel approach: supporting multiple inheritance but forbidding diamond inheritance. Expressiveness is retained through two features: a "requires" construct that provides a form of subtyping without inheritance (inspired by Scala), and a dynamically-dispatched "super" call similar to that found in traits. Through examples, we illustrate that inheritance diamonds can be eliminated via a combination of "requires" and ordinary inheritance. We provide a sound formal model for our language and demonstrate its modularity and expressiveness.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference48 articles.
1. Static type checking of multi-methods
2. The Fortress Language Specification;Allen E.;Version 1.0. Available at http://research.sun.com/projects/plrg/Publications/fortress.1.0.pdf,2008
3. Modular multiple dispatch with multiple inheritance
4. Jam---designing a Java extension with mixins
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Growing Bioinspired Synthetic Landscape Ecologies and the Adequacy of Object Oriented Programming;Lecture Notes in Networks and Systems;2023
2. Use and Adequacy of Computer Paradigms to Simulate Bioinspired Synthetic Landscape Ecologies;Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications;2021
3. Detecting inconsistencies in annotated product line models;Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A;2020-10-19
4. A new modular implementation for stateful traits;Science of Computer Programming;2020-09
5. Template constructors for reusable object initialization;ACM SIGPLAN Notices;2014-03-05