Rigid Mixin ModulesReport as inadecuate




Rigid Mixin Modules - Download this document for free, or read online. Document in PDF available to download.

1 LAMA - Laboratoire de Mathématiques

Abstract : Mixin modules are a notion of modules that allows cross-module recursion and late binding, two features missing in ML-style modules. They have been well defined in a call-by-name setting, but in a call-by-value setting, they tend to conflict with the usual static restrictions on recursive definitions. Moreover, the semantics of instantiation has to specify an order of evaluation, which involves a difficult design choice. Previous proposals rely on the dependencies between components to compute a valid order of evaluation. In such systems, mixin module types must carry some information on the dependencies between their components, which makes them verbose. In this paper, we propose a new, simpler design for mixin modules in a call-by-value setting, which avoids this problem.

Mots-clés : Mixin modules types





Author: Tom Hirschowitz -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents