From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 84879BB84 for ; Thu, 29 Jan 2009 10:38:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An8BAIwHgUnRVdsVimdsb2JhbACTUz8BAQEKCQwHDwWnZIEFjVEBAwEDhAsG X-IronPort-AV: E=Sophos;i="4.37,343,1231110000"; d="scan'208";a="20332916" Received: from mail-ew0-f21.google.com ([209.85.219.21]) by mail2-smtp-roc.national.inria.fr with ESMTP; 29 Jan 2009 10:38:48 +0100 Received: by ewy14 with SMTP id 14so4937954ewy.9 for ; Thu, 29 Jan 2009 01:38:48 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:content-type:cc:subject:from :to:references:in-reply-to:date:message-id:user-agent; bh=rOi/9gr9U1D7d4+UJXMlgGU/hcyhz4P5xnEwYkRw2EM=; b=R+/R+/IahuhvoND5zyvNBM1ldgf8YWmhq1a5KIHprm9/E/y2JkKt6rKTivGKSpr5L5 rNi0bSh9xrBvswqkr1YCv5bwd7GEKjBwcKuvZ6cKaK8/4H+RlpfQEn/8KDV1Eat7orpi ASPwQopDBA+ncKkD9RzHgF/YZZxlrf+X1Rk/4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=content-type:cc:subject:from:to:references:in-reply-to:date :message-id:user-agent; b=YUqJDzQt4eMjvmhjep6GV81OhH1ldbYD7tiUbsK6D6CTD09hH/yr0y4y7N8JRYGCf+ 8kYZhUuYjBtoWFR5R0Bom0k7RnAGzzJ44vgEnhFj4UETPjy1ogxQX4KI2qlz6YTKoK67 P6OH3DMmErSBEPv9oFN/I40oNjg2sHGKYGqUg= Received: by 10.103.249.19 with SMTP id b19mr443457mus.86.1233221928055; Thu, 29 Jan 2009 01:38:48 -0800 (PST) Received: from localhost (home.feydakins.org [82.229.164.236]) by mx.google.com with ESMTPS id u26sm2813421mug.11.2009.01.29.01.38.47 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 29 Jan 2009 01:38:47 -0800 (PST) Content-Type: text/plain; charset=UTF-8 Cc: Jacques Carette , caml-list , Andrej Bauer Subject: Re: [Caml-list] Defining a family of functors From: nicolas.pouillard To: David.Teller References: <497DD1F5.7050702@yahoo.fr> <497DD398.5030501@mcmaster.ca> <7d8707de0901270630mf12c557oc0554a4276b62463@mail.gmail.com> <497F1E8D.2080000@mcmaster.ca> <1233090779.6463.10.camel@Blefuscu> <1233102370-sup-9649@ausone.local> <1233141926.6908.4.camel@Blefuscu> In-Reply-To: <1233141926.6908.4.camel@Blefuscu> Date: Thu, 29 Jan 2009 10:37:43 +0100 Message-Id: <1233221605-sup-9234@ausone.local> User-Agent: Sup/git X-Spam: no; 0.00; functors:01 0100,:01 existential:01 modular:01 existential:01 didier:01 compiler:01 2009:98 2009:98 wrote:01 wrote:01 abstract:01 encode:01 caml-list:01 alain:01 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