Re: [Caml-list] marshalling objects

2008-04-26 Thread Basile STARYNKEVITCH
Jacques Le Normand wrote: hello caml list, if I marshal an object of class c and I write the result in a file foo.txt and, later on, I add methods to c, can I read the object in foo.txt and call the new methods on the object? First, a *.txt extension for a binary file (written thru Marshal.*

Re: [Caml-list] Tries are to sequences as ? is to trees

2008-04-26 Thread Jean-Christophe Filliâtre
Jon Harrop a écrit : So tries let us associate sequences with values. What data structure lets us associate trees with values? In Okasaki's book, there is a Section 10.3.2 Generalized Tries which addresses exactly this problem. The solution proposed is more efficient than building the list of

Re: [Caml-list] [OSR] Standard syntax extensions ?

2008-04-26 Thread Richard Jones
On Fri, Apr 25, 2008 at 01:37:47PM -0700, Arthur Chan wrote: Would it be difficult to have python-like syntax for List.exists? Could we add it to Hashtbl and Array too? I'm not too fond of python's general sloppiness, but the (x in mylist) syntax seemed very pretty to me. At the least, it

Re: [Caml-list] Announce: xsetxmap, unfunctorized, Sexp-lib awareversions of Set and Map

2008-04-26 Thread Alexandre Pilkiewicz
Le Wednesday 23 April 2008 15:56:47 David Allsopp, vous avez écrit : All that said, and especially as StdLib changes are reasonably rare, I find having files IntSet.ml and IntSet.mli containing: include Set.Make(struct type t = int let compare = Pervasives.compare end) and include Set.S