From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA20799; Mon, 9 Apr 2001 09:34:11 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA20795 for ; Mon, 9 Apr 2001 09:34:10 +0200 (MET DST) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f397Y8P07374 for ; Mon, 9 Apr 2001 09:34:09 +0200 (MET DST) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id JAA23012 for caml-list@inria.fr; Mon, 9 Apr 2001 09:34:09 +0200 Date: Mon, 9 Apr 2001 09:34:09 +0200 From: Daniel de Rauglaudre To: caml-list@inria.fr Subject: Re: [Caml-list] variant with tuple arg in pattern match? Message-ID: <20010409093409.C22994@verdot.inria.fr> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0us In-Reply-To: ; from mattias.waldau@abc.se on Mon, Apr 09, 2001 at 08:23:40AM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, On Mon, Apr 09, 2001 at 08:23:40AM +0200, Mattias Waldau wrote: > If so, I don't think that curried syntax is something good. I agree with your arguments, but... but you cannot avoid currification in functional languages. Ok, all your functions take non curried parameters, but how do you write a function which returns a function? If it is: let f x = fun y -> blahblah ok, you can write it: let f (x, y) = blahblah But, how do you transform it if it is: let f x = blahblahblah...; blah blah blah; fun y -> blah blah Currification is inside functional languages, you cannot decide to ignore it. And in OCaml, currified functions are more efficient (mmm... Xavier, tell us if I am wrong). Besides, if you don't apply all arguments, you get typing errors (in most cases), anyway. -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr