[Caml-list] mutable lists

[Marco Maggesi <maggesi@math.unifi.it>]

Hi,

I am learning OCaml.  I would like to ask some questions.

I noticed that OCaml do not have a library for mutable lists as, say,
Lisp or Scheme where most procedure that operate on lists have both
"functional" and "destructive" variants (like `append' and `append!').
Is there any special theoretical reason for that?

Anyway, I am writing one such library for mutable lists as excuse for
me to learn OCaml and play with it.  It is freely available from
  http://www.math.unifi.it/~maggesi/srfi/
It is inspired from the Olin Shiver code for the SRFI-1 "List library"
for scheme (http://srfi.schemers.org/srfi-1/srfi-1.html).  Comments
are really welcomed.

Are there already other libraries for mutable lists available in
OCaml?  So that I can learn by comparison.

One more question about phantom types that are discussed in a parallel
thread in these days.  Is it possible to use phantom types to prevent
destructive operation on some lists?

Thanks for your patient with beginners,
Marco
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr