Rigid Mixin Modules - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Rigid Mixin Modules

Tom Hirschowitz

Résumé

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

Fichier principal
Vignette du fichier
short-mm.pdf (186.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00310124 , version 1 (08-08-2008)

Identifiants

Citer

Tom Hirschowitz. Rigid Mixin Modules. Functional and Logic Programming Symposium (FLOPS), 2004, Nara, Japan. pp.214-228, ⟨10.1007/b96926⟩. ⟨hal-00310124⟩
85 Consultations
119 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More