Re: [Caml-list] Marshalling question

2010-10-12 Thread Alexey Rodriguez
On Fri, Oct 8, 2010 at 3:48 PM, Mathias Kende mathias.ke...@ens.fr wrote: Exception are some complex datastructure which may require additional care when marshalled. An example of which are the graphs of the ocamlgraph library (even the functional one), but there is none in the standard

Re: [Caml-list] Marshalling question

2010-10-12 Thread Julien Signoles
Hello, 2010/10/12 Alexey Rodriguez mrche...@gmail.com On Fri, Oct 8, 2010 at 3:48 PM, Mathias Kende mathias.ke...@ens.fr wrote: Exception are some complex datastructure which may require additional care when marshalled. An example of which are the graphs of the ocamlgraph library (even

Re: [Caml-list] Marshalling question

2010-10-12 Thread Mathias Kende
Le mardi 12 octobre 2010 à 10:42 +0200, Alexey Rodriguez a écrit : Mathias, can you elaborate on additional care? We are using the functional graphs from ocamlgraph, so I am very interested in your experiences with it. There is not much to say. To represent abstract graphs (those were the

Re: [Caml-list] Marshalling question

2010-10-12 Thread Julien Signoles
2010/10/12 Mathias Kende math...@kende.fr To represent abstract graphs (those were the equality for the nodes type is not used to check if two nodes of a graph are the same), the library uses an internal counter. This counter must be serialised along with the graphs and then it must be

Re: [Caml-list] Marshalling question

2010-10-12 Thread Alexey Rodriguez
Julien, Mathias, Thanks for the detailed description of this issue. Mathias, we use the same solution: concrete graphs and explicit identifiers so we do not suffer from the deserialization issue. Good to know about the pitfalls of abstract graphs though. Cheers, Alexey On Tue, Oct 12, 2010 at

Re: [Caml-list] Marshalling question

2010-10-09 Thread fo...@x9c.fr
Le 8 oct. 2010 à 15:37, Jean Krivine a écrit : Dear ocaml users, A simple question: is it safe to marshalize a data structure that contains imperative elements (like arrays or hashtbl) ? Well, you should have no problem with arrays or hash tables, as long as they hold elements that are

RE: [Caml-list] Marshalling question

2010-10-08 Thread David Allsopp
Jean Krivine wrote: Dear ocaml users, A simple question: is it safe to marshalize a data structure that contains imperative elements (like arrays or hashtbl) ? Simple answer: yes. Marshal works on the runtime representation of data which is imperative (immutability is enforced by the type

Re: [Caml-list] Marshalling question

2010-10-08 Thread Mathias Kende
Le vendredi 08 octobre 2010 à 15:37 +0200, Jean Krivine a écrit : Dear ocaml users, A simple question: is it safe to marshalize a data structure that contains imperative elements (like arrays or hashtbl) ? It's relatively safe to do so. The only thing is that if it is unmarshalled in the