License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2023.11
URN: urn:nbn:de:0030-drops-182047
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/18204/
Fan, Andong ;
Parreaux, Lionel
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
Abstract
We present a new variation of object-oriented programming built around three simple and orthogonal constructs: classes for storing object state, interfaces for expressing object types, and mixins for reusing and overriding implementations. We show that the latter can be made uniquely expressive by leveraging a novel feature that we call precisely-typed open recursion. This features uses "this" and "super" annotations to express the requirements of any given partial method implementation on the types of respectively the current object and the inherited definitions. Crucially, the fact that mixins do not introduce types nor subtyping relationships means they can be composed even when the overriding and overridden methods have incomparable types. Together with advanced type inference and structural typing support provided by the MLscript programming language, we show that this enables an elegant and powerful solution to the Expression Problem.
BibTeX - Entry
@InProceedings{fan_et_al:LIPIcs.ECOOP.2023.11,
author = {Fan, Andong and Parreaux, Lionel},
title = {{super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion}},
booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)},
pages = {11:1--11:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-281-5},
ISSN = {1868-8969},
year = {2023},
volume = {263},
editor = {Ali, Karim and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/18204},
URN = {urn:nbn:de:0030-drops-182047},
doi = {10.4230/LIPIcs.ECOOP.2023.11},
annote = {Keywords: Object-Oriented Programming, the Expression Problem, Open Recursion}
}
