From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0KARuFM029640
	for <caml-list@sympa-roc.inria.fr>; Fri, 20 Jan 2012 11:27:56 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Al8BANRAGU9KfVK2kGdsb2JhbABDhQSobwgiAQEBAQkJDQcUBCGBaQkBAQEDARICDx0BOAEDAQsBBQUDAQIFNwICIhIBBQEcBhsah1qcBgqLIoM3hHWJMAIFC4sFgRYElRiOED2BT4Iw
X-IronPort-AV: E=Sophos;i="4.71,541,1320620400"; 
   d="scan'208";a="140704304"
Received: from mail-we0-f182.google.com ([74.125.82.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Jan 2012 11:27:51 +0100
Received: by werg1 with SMTP id g1so522538wer.27
        for <multiple recipients>; Fri, 20 Jan 2012 02:27:51 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type;
        bh=zYvOzaLK9t0COEoOcpEbVMDZo8e4BahUNwifSxATrXA=;
        b=IYjYMGLkzdi9HnrGJsZDvwk+Q0WRoWH06KsRU8Ate21RY+1WwWi1q1RzrYkCsS4xQ2
         5pLBslf6WTKriKKxrsshi/IjTrJl9QCfvmUqnjNT91Yva96kdllLaEO9I3VdnCa4pAd0
         78bBZLj6MF/f6rPk30H4LuAfpj8394Sq4p8bk=
Received: by 10.216.131.100 with SMTP id l78mr650916wei.44.1327055271289; Fri,
 20 Jan 2012 02:27:51 -0800 (PST)
MIME-Version: 1.0
Sender: arnaud.spiwack@gmail.com
Received: by 10.227.112.137 with HTTP; Fri, 20 Jan 2012 02:27:10 -0800 (PST)
In-Reply-To: <4F193523.6030008@inria.fr>
References: <CAFrFfuEk3-Y7Gd4aSp7-xXWyceaBZCVtWUKg9AD8DoZXgTVEoA@mail.gmail.com>
 <CAC1A9D40NusKirW7DEQbzuhtXvuVwqX7VBR6v6trJ1JjbPO2Bg@mail.gmail.com>
 <4F1927BD.9040507@irisa.fr> <20120120091151.GA13799@pps.jussieu.fr> <4F193523.6030008@inria.fr>
From: Arnaud Spiwack <aspiwack@lix.polytechnique.fr>
Date: Fri, 20 Jan 2012 11:27:10 +0100
X-Google-Sender-Auth: UFqX8nAZzeBcJmWVx0uhx39-5G8
Message-ID: <CAMoPVjeZ5QmLgrCyU2xyH4GYwzO0wYj6Z_KuWQDXqbwjzunLrg@mail.gmail.com>
To: Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Cc: caml-list@inria.fr
Content-Type: multipart/alternative; boundary=0016e6db29280ae53b04b6f32200
X-Validation-by: arnaud@spiwack.net
Subject: Re: [Caml-list] is there a more concise way to write this?


--0016e6db29280ae53b04b6f32200
Content-Type: text/plain; charset=UTF-8

> I am wondering now if we should also provide the "%apply" primitive too,
> to be able to choose the order...
>

The ability to choose the order seems quite valuable to me. Plus, there is
a right-associative apply in the non-rev order in Ocaml's distribution
(namely in ocamlbuild).

--0016e6db29280ae53b04b6f32200
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<br><div class=3D"gmail_quote"><blockquote class=3D"gmail_quote" style=3D"m=
argin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I am wondering now if we should also provide the &quot;%apply&quot; primiti=
ve too,<br>
to be able to choose the order...<br></blockquote><div>=C2=A0<br>The abilit=
y to choose the order seems quite valuable to me. Plus, there is a right-as=
sociative apply in the non-rev order in Ocaml&#39;s distribution (namely in=
 ocamlbuild).<br>


</div></div>

--0016e6db29280ae53b04b6f32200--