Skip to Main content Skip to Navigation
New interface
Conference papers

Match-O, a dialect of Eiffel with match-types

Dominique Colnet 1 Luigi Liquori 1, 2, 3 
1 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : It is well known that the Eiffel language allows covariant redefinition. Regardless of system-level validity rules, Eiffel is not type safe. In this paper, we present a dialect of Eiffel called Match-O, which prohibits covariant redefinition. We introduce a new kind of types, the match-types, inspired by the papers of Kim Bruce. The scope of this project is many-fold: – allowing binary methods; – keeping sound " mytype method specialization " , i.e. anchored type using Current; – allowing subtyping in all other sound cases. We claim that match-types can be added in the Eiffel type system to eliminate type unsoundness without blocking many interesting Eiffel programs (e.g. the ones with " binary methods "). We have implemented a compiler for Match-O and we have experimented our dialect on a large system using the original source code of SmallEiffel itself.
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Monday, May 18, 2015 - 1:15:22 PM
Last modification on : Friday, February 4, 2022 - 3:34:54 AM
Long-term archiving on: : Thursday, April 20, 2017 - 1:47:11 AM


Files produced by the author(s)



Dominique Colnet, Luigi Liquori. Match-O, a dialect of Eiffel with match-types. 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings., Nov 2000, Sydney, Australia. pp.190 - 201, ⟨10.1109/TOOLS.2000.891369⟩. ⟨hal-01152644⟩



Record views


Files downloads