FW: [Caml-list] Data structures and algorithms in Caml programs
simonpj at microsoft.com
Mon Dec 15 11:38:48 EST 2003
Dear Haskell library folk
Here's an interesting survey about data structure libraries. It's Caml
oriented, but very relevant to Haskell too.
From: owner-caml-list at pauillac.inria.fr
[mailto:owner-caml-list at pauillac.inria.fr] On Behalf Of Diego Olivier
Sent: 10 December 2003 14:43
To: caml-list at inria.fr
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.
(data) aifad, ibal
(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)
(parsing) alex, happy, parsec
More information about the Libraries