Archives of the Caml mailing list > Message from [no author]

Browse thread

Defining a family of functors

Michaël_Grünewald
- Jacques Carette
  - Andrej Bauer
    - Jacques Carette
      - David Teller
        
        Nicolas Pouillard
        
        David Teller
        
        David Allsopp
        
        Mauricio Fernandez
        
        Michaël_Grünewald

Date:	-- (:)
From:
Subject:	Re: [Caml-list] Defining a family of functors

Excerpts from David Teller's message of Wed Jan 28 12:25:26 +0100 2009:
> 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
> features.
> 
> On the other hand, it was pointed to me that Alain already wrote a
> compiler patch implementing first-class modules.

That's right.

-- 
Nicolas Pouillard