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] mutable lists
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-09-14 (12:16)
From: Marco Maggesi <maggesi@m...>
Subject: [Caml-list] mutable lists


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
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,
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