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 SAA09435; Wed, 10 Jul 2002 18:06:31 +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 SAA09431 for ; Wed, 10 Jul 2002 18:06:30 +0200 (MET DST) Received: from sunny.pacific.net.au (sunny.pacific.net.au [203.25.148.40]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g6AG6Sn03139 for ; Wed, 10 Jul 2002 18:06:29 +0200 (MET DST) Received: from wisma.pacific.net.au (wisma.pacific.net.au [210.23.129.72]) by sunny.pacific.net.au with ESMTP id g6AG6HSs013882; Thu, 11 Jul 2002 02:06:17 +1000 (EST) Received: from ozemail.com.au (ppp210.dyn17.pacific.net.au [61.8.17.210]) by wisma.pacific.net.au with ESMTP id CAA01491; Thu, 11 Jul 2002 02:06:16 +1000 (EST) Message-ID: <3D2C5B77.6060303@ozemail.com.au> Date: Thu, 11 Jul 2002 02:06:15 +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: Nicolas Cannasse CC: Oleg , OCaml Subject: Re: [Caml-list] Universal Serializer (was: productivity improvement) References: <200207081952.PAA28813@hickory.cc.columbia.edu> <15657.61603.221054.289184@spike.artisan.com> <200207090442.AAA05638@hickory.cc.columbia.edu> <001f01c2271e$8037adf0$d100a8c0@warp> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > > >BTW OCaml functional programming and memory management are two ways of >increasing productivity. Pattern matching on structures is also wonderful. >For most of the programs, I will say that the productivity rate against C is >around 1:3. > >Nicolas Cannasse > You must be an academic.:-) Try between 10:1 and 100:1, *assuming* that any libraries you need are available, and a reasonably complex piece of software. You just can't underestimate how difficult it is to find bugs in C codes of reasonable size. Such bugs almost never happen in Ocaml. The biggest problem in Ocaml is type inference, and the resulting loss of localisation of error diagnostics, but such compile time errors can be resolved *definitely*; that is, you know for sure when you've fixed them (because the compiler stops hassling you). Ohhhh.. just imagine if GTK/Gnome/Gui stuff on RH linux were written in Ocaml .. it might actually work! -- 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