From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 74304BC57 for ; Wed, 17 Mar 2010 19:18:06 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4BAPO5oEtDww/ZkWdsb2JhbACDC4t0gXZ8iSwBAQEBCQsKBxMDH6pbN4FjhSeIeQEEBAGBJ4JgagSDGg X-IronPort-AV: E=Sophos;i="4.51,260,1267398000"; d="scan'208";a="47341405" Received: from web111515.mail.gq1.yahoo.com ([67.195.15.217]) by mail2-smtp-roc.national.inria.fr with SMTP; 17 Mar 2010 19:18:05 +0100 Received: (qmail 72531 invoked by uid 60001); 17 Mar 2010 18:18:03 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1268849883; bh=MWPuoWA9lh8Lx2Ag6+ZHJHh0ysK1MAFfqrjGt/JZMg8=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=CktzShpvqoAFLQfwY9IeL8aMCi+EOSzxEgh8zhcC0b7MxDHsAGodLiRh83zxkHR5emUoSBG8WGW46LZFMTpiKvoib3FX9BfjSjUXnJlWPM6lX5SFPTSWV/KjYiwcnExcnMdV34VByNmvD54fyuGoG8/SUCiv9VOptydvIa2fHFk= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=pk5dGTB13FkoejJRX6AG3VXRsjhDIYhmFBE5U+kEXxsqBYj7n3z30JAW1Pcq8+VngQDo2uEWep31VmO6z+DZuMqNYzwvqBhfK2D2zSojZFml8p+fxpBN+6m/P/kaVg7jakdGVP/nq4F2PAKSpHPA4aOodFtFwgEBHYQElTbELH8=; Message-ID: <926347.71842.qm@web111515.mail.gq1.yahoo.com> X-YMail-OSG: lpcHN14VM1n0nwekJwAC7Asf1I2zeeBLqGqtDD_TAeiPHzH hvTbGyvKY3japoVA4So8eyiFgPNIRBwiaJr3DJzr2hm9.qtd8gUu5cFxEtWh 36CEZZ2QD0L0YCnQ4D.wF8GfNXzTQ7wwQkUXpOBgTZttrI4TYEp2Ly_THtSS dWsefTc0zq0IS2IBJnKdZEX31GRHSKeGYLfdGPE4NepktwE09CZoAC_3VAj4 TON5CGiN5iDk7v4x2uPalDL83S1hfH6Bm588T0zDvtZJUXD602EUP.SYABy7 ADTeS4emYvfdzhSgu8ymP4TuZji7YDc30x9R_E_AROY2NlJf8_Orczz8- Received: from [213.205.71.53] by web111515.mail.gq1.yahoo.com via HTTP; Wed, 17 Mar 2010 11:18:03 PDT X-Mailer: YahooMailClassic/10.0.8 YahooMailWebService/0.8.100.260964 Date: Wed, 17 Mar 2010 11:18:03 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] Lazy modules To: Alain Frisch Cc: caml-list@yquem.inria.fr In-Reply-To: <4BA1131D.10208@frisch.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 functor:01 cheers:01 caml-list:01 variant:02 lazy:02 modules:02 modules:02 breaks:02 laziness:05 anyway:05 attempted:08 first-class:08 first-class:08 i'm:09 Hi,=0A=0A> Here is a variant of your version with first-class modules=0A> (= which will be available in OCaml 3.12). Compared to your=0A> version, we ge= t the benefit of laziness (the "functor body"=0A> is evaluated only once).= =0A=0AI see, thanks. That is actually a very welcome feature; I have in th= e=0Apast attempted to use modules as first-class values, and found the lack= =0Athereof a bit disappointing, as it "breaks the symmetry" between values= =0Aand modules.=0A=0AAnyway, 3.12 is looking interesting -- are there any o= ther features we=0Ashould be aware of? (I'm hoping GADTs will be in the pi= peline eventually...)=0A=0ACheers,=0ADario Teixeira=0A=0A=0A=0A