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 OAA00202; Thu, 8 Apr 2004 14:33:49 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA00692 for ; Thu, 8 Apr 2004 14:33:48 +0200 (MET DST) Received: from aomori.annexia.org (annexia.force9.co.uk [212.56.101.183]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i38CYfjq024204 for ; Thu, 8 Apr 2004 14:34:41 +0200 Received: from rich by aomori.annexia.org with local (Exim 3.36 #1 (Debian)) id 1BBYj5-0007nZ-00 for ; Thu, 08 Apr 2004 13:33:47 +0100 Date: Thu, 8 Apr 2004 13:33:47 +0100 Cc: caml-list Subject: Re: OCaml's Cathedral & Bazaar (was Re: [Caml-list] Completeness of "Unix" run-time library) Message-ID: <20040408123347.GA29954@redhat.com> References: <20040407230339.76481.qmail@web41212.mail.yahoo.com> <1081412719.19232.914.camel@pelican> <40751CE9.3080503@ps.uni-sb.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <40751CE9.3080503@ps.uni-sb.de> User-Agent: Mutt/1.5.5.1+cvs20040105i From: Richard Jones X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; ocaml's:01 caml-list:01 run-time:01 2004:99 rossberg:01 currying:01 currying:01 obstacle:01 vanier:01 ltd:98 0200,:01 unix:02 wrote:03 wrote:03 library:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 137 On Thu, Apr 08, 2004 at 11:35:37AM +0200, Andreas Rossberg wrote: > skaller wrote: > > > >On the other hand accepted principles are valid arguments, > >for example functions operating on a container type shall take > >the container as the first argument. > > Ah, here controversy already starts. AFAICS, this is neither an accepted > nor a good principle in a language with currying. For example, there is > good practical reason that map, fold, etc take the container as their > last argument. ;-) That's right. Make the argument ordering good for currying. Rich. -- Richard Jones. http://www.annexia.org/ http://www.j-london.com/ Merjis Ltd. http://www.merjis.com/ - improving website return on investment "One serious obstacle to the adoption of good programming languages is the notion that everything has to be sacrificed for speed. In computer languages as in life, speed kills." -- Mike Vanier ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners