From: David Teller <David.Teller@mlstate.com>
To: Nicolas Pouillard <nicolas.pouillard@gmail.com>
Cc: Jacques Carette <carette@mcmaster.ca>,
caml-list <caml-list@inria.fr>,
Andrej Bauer <andrej.bauer@andrej.com>
Subject: Re: [Caml-list] Defining a family of functors
Date: Wed, 28 Jan 2009 12:25:26 +0100 [thread overview]
Message-ID: <1233141926.6908.4.camel@Blefuscu> (raw)
In-Reply-To: <1233102370-sup-9649@ausone.local>
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.
Cheers,
David
next prev parent reply other threads:[~2009-01-28 21:18 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-01-26 15:08 Michaël Grünewald
2009-01-26 15:15 ` [Caml-list] " Jacques Carette
2009-01-27 14:30 ` Andrej Bauer
2009-01-27 14:47 ` Jacques Carette
2009-01-27 21:12 ` David Teller
2009-01-28 0:32 ` Nicolas Pouillard
2009-01-28 11:25 ` David Teller [this message]
2009-01-29 9:37 ` nicolas.pouillard
2009-01-29 10:40 ` David Allsopp
2009-01-29 21:14 ` Mauricio Fernandez
2009-01-30 8:25 ` Michaël Grünewald
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1233141926.6908.4.camel@Blefuscu \
--to=david.teller@mlstate.com \
--cc=andrej.bauer@andrej.com \
--cc=caml-list@inria.fr \
--cc=carette@mcmaster.ca \
--cc=nicolas.pouillard@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox