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 DAA21885; Fri, 19 Jul 2002 03:18:46 +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 DAA21881 for ; Fri, 19 Jul 2002 03:18:45 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from athlon.baretta.com (r-mi214-6a13.tin.it [62.211.4.13]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g6J1IfH15918 for ; Fri, 19 Jul 2002 03:18:42 +0200 (MET DST) Received: from baretta.com (localhost.localdomain [127.0.0.1]) by athlon.baretta.com (Postfix) with ESMTP id 6CFD42724F; Fri, 19 Jul 2002 03:25:53 +0200 (CEST) Message-ID: <3D376AA1.8090308@baretta.com> Date: Fri, 19 Jul 2002 03:25:53 +0200 From: Alessandro Baretta Organization: Baretta srl -- www.baretta.com User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.0) Gecko/20020529 X-Accept-Language: it, en MIME-Version: 1.0 To: Oleg Cc: caml-list Subject: Re: [Caml-list] productivity improvement References: <20020716172916.4903.qmail@web10702.mail.yahoo.com> <200207182313.TAA19905@dewberry.cc.columbia.edu> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Oleg wrote: > P.S. Having read the CalTech tutorial and chapters 1-4 & 14 of the O'Reilly > book, and having gotten some experience with O'Caml, I'm running low on > motivation right now. Please give me examples of what's > hard/awkward/impossible in C++, but relatively easy in O'Caml, if any (I have > only finite time, so 50 KLOC Coq is not a good example :) I am in the process of finishing up a simple XML stylesheet processor which formats ascii data for a line printer. Very simple. About 1000 odd lines of code in O'Caml. Would a project of this kind and size suit your interest? You might try to code a processor for the same dtd, so that we can measure di difference in "semantic density" of O'Caml and C++, within the limits of our respective abilities with the two languages (I'm not an O'Caml guru--yet...) > P.P.S. My primary interest is statistical AI (artificial neural networks). I > haven't found any relevant libraries or applications in SML or O'Caml. That > is a bit discouraging. I have a feeling that O'Caml was born out INRIA's need for a language to use in symbolic AI projects. The two worlds seem to be very difficult to reconcile. > [1] And the example was hand-picked! > [2] If one doesn't want "ad hoc" genericity, templates aren't necessary, of > course. Ah! Wait a minute. I have another toy project I could propose to you: an interpreter for rule based language, à la CLIPS. 197 lines of code in ocaml, including comments. This is probably the kind of compelling example you are looking for. I coded it in 24 h, including time for sleep, nutrition and general self care. Let me know if you are interested. Alex ------------------- 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