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 KAA16875; Wed, 21 May 2003 10:05:35 +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 KAA16626 for ; Wed, 21 May 2003 10:05:34 +0200 (MET DST) Received: from teutates.kfunigraz.ac.at (TEUTATES.kfunigraz.ac.at [143.50.129.26]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h4L85XH17658 for ; Wed, 21 May 2003 10:05:34 +0200 (MET DST) Received: from localhost (localhost.localdomain [127.0.0.1]) by teutates.kfunigraz.ac.at (Postfix) with ESMTP id 424CB3D222D; Wed, 21 May 2003 10:05:31 +0200 (CEST) Received: from teutates.kfunigraz.ac.at ([127.0.0.1]) by localhost (teutates.kfunigraz.ac.at [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 20367-08; Wed, 21 May 2003 10:05:22 +0200 (CEST) Received: from stud.uni-graz.at (IGAM08AV.kfunigraz.ac.at [143.50.39.35]) by teutates.kfunigraz.ac.at (Postfix) with ESMTP id F40F23D222B; Wed, 21 May 2003 10:05:20 +0200 (CEST) Message-ID: <3ECB2261.2030404@stud.uni-graz.at> Date: Wed, 21 May 2003 08:53:21 +0200 From: Siegfried Gonzi Organization: Universitaet Graz User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.8) Gecko/20020204 X-Accept-Language: en-us MIME-Version: 1.0 To: Siegfried Gonzi Cc: Michal Moskal , caml-list@inria.fr Subject: Re: [Caml-list] Reading a file References: <4.3.2.7.2.20030517225010.04b748a0@localhost> <4.3.2.7.2.20030519120753.04545700@localhost> <200305201007.17990.wolfgang.mueller2@uni-bayreuth.de> <3EC9EA84.3070404@stud.uni-graz.at> <20030520132032.GA9564@roke.freak> <3ECB189C.5090400@stud.uni-graz.at> <3ECB212F.2080704@stud.uni-graz.at> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new at stud.uni-graz.at X-Spam: no; 0.00; siegfried:01 gonzi:01 stud:99 caml-list:01 annotates:01 char:01 rebel:99 compiler:01 ocaml:01 string:03 wrote:03 readability:03 nil:03 types:03 opposed:08 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Siegfried Gonzi wrote: >> >> my request: split "nil,2.23,3.34,nil" (-1.0) = [-1.0,2.23,3.34,-1.0] > > > > sorry: split "nil,2.23,.3.34,nil" ',' This is one of the reasons why I do not get it that nobody annotates types in OCaml. If I had to deal with a Clean function I would not have made the mistake of using split in a wrong manner, because: split:: String Char -> [String] split s c .... but in OCaml: split s c ... I agree the compiler would rebel if I pass wrong types, however, this does not increase readability as opposed to Clean. S. Gonzi ------------------- 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