English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Defining a family of functors
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-01-28 (21:18)
From: David Teller <David.Teller@m...>
Subject: Re: [Caml-list] Defining a family of functors
On Wed, 2009-01-28 at 01:32 +0100, Nicolas Pouillard wrote:
> The encoding of modules using existential types in non modular, this
> basically means that you have to heavily transform the source.
> What one need to encode modules is "open" existential types, this well
> and clearly explained in this POPL'09 paper:
>   «Modeling Abstract Types in Modules with Open Existential Types»,
>     by Benoît Montagu and Didier Rémy

Yes, I was just reading that paper. However, it is my impression that we
could get away without open existential types, at the cost of reduced

On the other hand, it was pointed to me that Alain already wrote a
compiler patch implementing first-class modules.