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 PAA30217; Wed, 10 Dec 2003 15:44:05 +0100 (MET) 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 PAA31291 for ; Wed, 10 Dec 2003 15:44:03 +0100 (MET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hBAEi2124520 for ; Wed, 10 Dec 2003 15:44:02 +0100 (MET) Received: from ibm3.cicrp.jussieu.fr (ibm3.cicrp.jussieu.fr [134.157.15.3]) by shiva.jussieu.fr (8.12.10/jtpda-5.4) with ESMTP id hBAEi2Aw047306 for ; Wed, 10 Dec 2003 15:44:02 +0100 (CET) X-Ids: 166 Received: from ibm1.cicrp.jussieu.fr (ibm1.cicrp.jussieu.fr [134.157.15.1]) by ibm3.cicrp.jussieu.fr (8.8.8/jtpda/mob-V8) with ESMTP id PAA40016 for ; Wed, 10 Dec 2003 15:43:02 +0100 Received: from localhost (fernande@localhost) by ibm1.cicrp.jussieu.fr (AIX5.1/8.11.6p2/jtpda/mob-v8) with ESMTP id hBAEgwM2310234 for ; Wed, 10 Dec 2003 15:43:00 +0100 Date: Wed, 10 Dec 2003 15:42:35 +0100 (NFT) From: Diego Olivier Fernandez Pons To: caml-list@inria.fr Subject: [Caml-list] Data structures and algorithms in Caml programs Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at shiva.jussieu.fr by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Antivirus: scanned by sophie at shiva.jussieu.fr X-Loop: caml-list@inria.fr X-Spam: no; 0.00; pons:01 pons:01 etu:99 usages:01 aifad:01 cime:01 cduce:01 galax:01 regex:01 timbuk:01 haskell:01 fernandez:01 fernandez:01 caml:01 caml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Bonjour, I have reviewed 20 programs I think representative of Caml, trying to investigate the usages and needs in data structures and algorithms. http://www.edite-de-paris.com.fr/~fpons/Caml/Ressources/dsInCaml.html The purpose is to have a more precise idea of what is really giving trouble and help library designers to provide solutions that are closely related to the programmers needs. All comments are welcome including corrections and programmers feedback on code design, etc. Reviewed programs Caml (21) (data) aifad, ibal (bioinformatics) biocaml (compilation) ccured, dml, fftw, flowcaml, mojave (constraint solving) cime, facile, wallace (parsing) cil, cfg, sister-head (text) cduce, galax, hevea, regex, timbuk (theorem proving) coq, harrison, link Standard ML (1) (compilation) mlrisc Haskell (4) (parsing) alex, happy, parsec (text) regexplib ------------------- 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