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.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id D0DA7BC68 for ; Mon, 13 Nov 2006 15:31:08 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.174]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kADEV7WW031458 for ; Mon, 13 Nov 2006 15:31:08 +0100 Received: by ug-out-1314.google.com with SMTP id k3so950334ugf for ; Mon, 13 Nov 2006 06:31:07 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=D1U3+Ra9yqlaXVEIICIXNTUK2gFT9c5kpFeWkgmRGJVuKhbHHevTtNC2FpjemmDyunHlG8ZJYVXwd+Ecp7DRma0b6wzP2a9LDTFcvq10l/3KkFpXWZij4dyWkehLdBux1qrgIOc+oprni8tHtip2Y7eWQJJT7zW8kHODY6zr6ZA= Received: by 10.66.243.4 with SMTP id q4mr8171666ugh.1163428267003; Mon, 13 Nov 2006 06:31:07 -0800 (PST) Received: by 10.67.21.15 with HTTP; Mon, 13 Nov 2006 06:31:06 -0800 (PST) Message-ID: <875c7e070611130631y5dbbb310kd62099e5a5e73bd1@mail.gmail.com> Date: Mon, 13 Nov 2006 09:31:06 -0500 From: "Chris King" To: "Keisuke Nakano" Subject: Re: [Caml-list] Simple idea for making a function infix Cc: caml-list@inria.fr In-Reply-To: <1EB857FD-F706-419C-9181-D45DEA88B756@mist.i.u-tokyo.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1EB857FD-F706-419C-9181-D45DEA88B756@mist.i.u-tokyo.ac.jp> X-j-chkmail-Score: MSGID : 455881AB.001 on discorde : j-chkmail score : X : 0/20 1 X-Miltered: at discorde with ID 455881AB.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; infix:01 u-tokyo:01 infix:01 o'caml:01 syntax:01 o'caml:01 wrote:01 faq:01 caml-list:01 binary:01 let:03 chris:06 chris:06 function:08 function:08 On 11/13/06, Keisuke Nakano wrote: > We use the following two infix operators. > > let ( /* ) x y = y x > and ( */ ) x y = x y > > Then we can make an infix operator /*f*/ for a binary function f. That's great, I've also wished that O'Caml had syntax like this. I hope this makes it to the O'Caml FAQ page! - Chris King