Editing Serialization (section)

===OCaml===
[[OCaml]]'s standard library provides marshalling through the <code>Marshal</code> module<ref name=ocaml/> and the Pervasives functions <code>output_value</code> and <code>input_value</code>. While OCaml programming is statically type-checked, uses of the <code>Marshal</code> module may break type guarantees, as there is no way to check whether an unmarshalled stream represents objects of the expected type. In OCaml it is difficult to marshal a function or a data structure which contains a function (e.g. an object which contains a method), because executable code in functions cannot be transmitted across different programs. (There is a flag to marshal the code position of a function but it can only be unmarshalled in exactly the same program). The standard marshalling functions can preserve sharing and handle cyclic data, which can be configured by a flag.