English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Data structures and algorithms in Caml programs
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-12-10 (14:44)
From: Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@e...>
Subject: [Caml-list] Data structures and algorithms in Caml programs

I have reviewed 20 programs I think representative of Caml, trying to
investigate the usages and needs in data structures and algorithms.


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