Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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.