Abstract

Genericity, as in Ada or ML, and inheritance, as in object-oriented languages, are two alternative techniques for ensuring better extendibility, reusability, and compatibility of software components. This article is a comparative analysis of these two methods. It studies their similarities and differences and assesses to what extent each may be simulated in a language offering only the other. It shows what features are needed to successfully combine the two approaches in an object-oriented language that also features strong type checking. The discussion introduces the principal aspects of the language EiffePM whose design, resulting in part from this study, includes multiple inheritance and a limited form of genericity under full static typing. OVERVIEW Despite its name, today's software is usually not soft enough: adapting it to new uses turns out in most cases to be a harder endeavor than should be. It is thus essential to find ways of enhancing such software quality factors as extendibility (the ease

Citations

874	A theory of type polymorphism in programming - Milner - 1978
727	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
99	What IS-A is and isn’t: An analysis of taxonomic links in semantic networks - Brachman - 1983
98	Principles of OBJ2 - Futatsugi, Goguen, et al. - 1985
38	2005 Event-B language - Abrial, Voison
37	An informal introduction to specifications using Clear - Burstall, Goguen - 1981
4	A system description method - MEYER - 1984
2	Basic Polymorphic Typechecking, AT&T Bell Laboratories Computing Science - Cardelli - 1984
2	Quelques concepts importants des langages de programmation modernes et leur expression en Simula 67," Bulletin de la Direction des Etudes et Recherches d'Electricite de - Meyer - 1979
2	Practical Polymorphism," in Functional Programming Languages and Computer Architecture - Nikhil - 1985
1	Manuel de R/~f~renee du Langage LPG, Version 1.2 - Bert - 1983
1	What I~A and isn't: An Analysis of Taxonomic Links in Semantic Networks - Brachman
1	Basic Polymorphlc Typechecking," AT,~'T l~.ll Laboratories Computing Science Technical Report - Cardelli - 1984
1	Principles of OBJ2 - Messeguer - 1985
1	Quelques concepts importants des langsges de programmatlon modernes et leur expression en Simula 67," Bulletin de la Direction des Etudes et Recherches d'Electricfl - Meyer - 1979
1	Eiffel: a Language for Software Engineering - Bertra
1	Robin Milner, "A Theory of Type Polymorphism in Programming - Department
1	Manuel de Reference du Langage LPG, Version 1.2 - Bert - 1983
1	Ei{{el: a Language {or So{tware Engineering - Meyer - 1986
1	Eiffel: Programming for Reusabilitv and Extendibility - Meyer - 1987
1	Object-oriented Software Construc_ tion - Meyer - 1987