From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <petchema@concept-micro.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id D86EABC69
	for <caml-list@yquem.inria.fr>; Wed, 18 Jul 2007 23:36:36 +0200 (CEST)
Received: from ns.graphicgalerie.com (ns.graphicgalerie.com [88.191.26.11])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6ILaadf010336
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO)
	for <caml-list@inria.fr>; Wed, 18 Jul 2007 23:36:36 +0200
Received: from polo.concept-micro.com (ABordeaux-103-1-2-49.w80-11.abo.wanadoo.fr [80.11.199.49])
	(using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by ns.graphicgalerie.com (Postfix) with ESMTP id 40151BB435C
	for <caml-list@inria.fr>; Wed, 18 Jul 2007 23:36:30 +0200 (CEST)
Date: Wed, 18 Jul 2007 23:36:27 +0200
From: Pierre =?ISO-8859-15?B?RXRjaGVtYe906Q==?= <petchema@concept-micro.com>
To: caml-list@inria.fr
Subject: Re: [Caml-list] List.cons and "::"
Message-Id: <20070718233627.996f90f9.petchema@concept-micro.com>
In-Reply-To: <875c7e070707171346w43610622qbb918860b2573b53@mail.gmail.com>
References: <469D2055.5080408@gnu.org>
	<469D235E.9000008@janestcapital.com>
	<875c7e070707171346w43610622qbb918860b2573b53@mail.gmail.com>
Organization: Concept Micro 33 SARL
X-Mailer: Sylpheed version 2.3.0beta5 (GTK+ 2.8.20; i486-pc-linux-gnu)
X-TRP: honey@concept-micro.com
X-Face: "1<D_YW=(Z@$kl':M7Gci`gAa"U.$bCElfWd@{578%xR_9MHE`RMTfG%f.dMf^xIS("~Dw$
 sCx~,%u0+T^YTq]o
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15
Content-Transfer-Encoding: 8bit
X-Miltered: at discorde with ID 469E87E4.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; constructors:01 haskell:01 o'caml:01 caml-list:01 caml-list:01 pierre:02 caml:02 cons:04 jul:04 tue:06 chris:06 inria:06 ecrit:06 probably:07 currying:09 

Le Tue, 17 Jul 2007 16:46:34 -0400, "Chris King" <colanderman@gmail.com> a écrit :

> But in general automatic currying of constructors would be nice (I
> think Haskell does this).  There is probably some technical reason why
> it's not a good idea in O'Caml though.

http://caml.inria.fr/pub/ml-archives/caml-list/2001/08/47db53a4b42529708647c9e81183598b.en.html