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 MAA24637; Thu, 8 Apr 2004 12:12:20 +0200 (MET DST) 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 MAA24781 for ; Thu, 8 Apr 2004 12:12:19 +0200 (MET DST) Received: from eris.rz.uni-saarland.de (eris.rz.uni-saarland.de [134.96.7.8]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i38ADCjq009144 for ; Thu, 8 Apr 2004 12:13:12 +0200 Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.254.254]) by eris.rz.uni-saarland.de (8.12.10/8.12.10) with ESMTP id i38ABFQD19831823 for ; Thu, 8 Apr 2004 12:12:17 +0200 (CST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.11/2003091100) with ESMTP id i389ZdHJ013286 for ; Thu, 8 Apr 2004 11:35:40 +0200 (CEST) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.12.11/2003073000) with ESMTP id i389ZdXd027059 for ; Thu, 8 Apr 2004 11:35:39 +0200 (CEST) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (groove.ps.uni-sb.de [134.96.186.172]) by ps.uni-sb.de (8.12.10/8.12.10) with ESMTP id i389ZblT026811; Thu, 8 Apr 2004 11:35:37 +0200 Message-ID: <40751CE9.3080503@ps.uni-sb.de> Date: Thu, 08 Apr 2004 11:35:37 +0200 From: Andreas Rossberg User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.1) Gecko/20031114 X-Accept-Language: en-us, en MIME-Version: 1.0 To: caml-list Subject: Re: OCaml's Cathedral & Bazaar (was Re: [Caml-list] Completeness of "Unix" run-time library) References: <20040407230339.76481.qmail@web41212.mail.yahoo.com> <1081412719.19232.914.camel@pelican> In-Reply-To: <1081412719.19232.914.camel@pelican> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-AntiVirus: checked by AntiVir Milter 1.0.6; AVE 6.25.0.2; VDF 6.25.0.8 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; rossberg:01 rossberg:01 uni-sb:01 ocaml's:01 caml-list:01 run-time:01 currying:01 uni-sb:01 unix:02 wrote:03 library:03 argument:03 argument:03 arguments:03 cathedral:95 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 134 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. ;-) Cheers, - Andreas -- Andreas Rossberg, rossberg@ps.uni-sb.de Let's get rid of those possible thingies! -- TB ------------------- 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