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 IAA06393; Tue, 3 Jun 2003 08:59:14 +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 IAA06233 for ; Tue, 3 Jun 2003 08:59:12 +0200 (MET DST) Received: from mail2.tpgi.com.au ([203.12.160.58]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h536xBT29850 for ; Tue, 3 Jun 2003 08:59:11 +0200 (MET DST) Received: from ozemail.com.au (203-219-225-76-syd-ts24-2600.tpgi.com.au [203.219.225.76]) (authenticated bits=0) by mail2.tpgi.com.au (8.12.9/8.12.9) with ESMTP id h536vkw1007450; Tue, 3 Jun 2003 16:57:47 +1000 Message-ID: <3EDC46EA.3050701@ozemail.com.au> Date: Tue, 03 Jun 2003 16:57:46 +1000 From: John Max Skaller User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.2.1) Gecko/20010901 X-Accept-Language: en-us MIME-Version: 1.0 To: Oleg Trott CC: "caml-list@inria.fr" Subject: Re: [Caml-list] Why are arithmetic functions not polymorph? References: <3EDC1931.80307@ozemail.com.au> <200306030010.56362.oleg_trott@columbia.edu> Content-Type: text/plain; charset=KOI8-U; format=flowed Content-Transfer-Encoding: 7bit X-Kaspersky-Antivirus: Passed X-Spam: no; 0.00; ozemail:01 caml-list:01 oleg:01 model:01 gcaml:01 verbose:01 inference:01 toxteth:01 glebe:01 2037,:01 9660:01 0850:01 overloading:01 arithmetic:01 nsw:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Oleg Trott wrote: > On Monday 02 June 2003 11:42 pm, John Max Skaller wrote: > >>The open-ness of the Felix model does make for some >>degree of fragility compared to the much more robust >>GCaml model, however the GCaml technique is considerably >>more verbose, and brevity and easy of naming is one of >>the arguments in favour of overloading. >> > > However, you have to sacrifice some of the type inferencing in Felix, right? Yes. I mainly do bottom up inference, which i would call deduction or synthesis. [Typing pattern variables is slightly different] -- John Max Skaller, mailto:skaller@ozemail.com.au snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia. voice:61-2-9660-0850 ------------------- 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