On Fri, Jan 06, 2006 at 04:36:34PM +0100, Alessandro Baretta wrote:
> Jonathan Roewen wrote:
> >>Will the Marshall module not do?
> >
> >
> >Marshal is unsafe. Pickling is safe. I'd take pickling =)
> 
> Marshalling and "pickling" are synonyms. The Marshal module does not 
> provide runtime checks, yet, but the Caml team is working at it, as far as 
> I know.

Myself and others at Cambridge, headed by Peter Sewell, are working on
type- and abstraction-safe marshalling for O'Caml that works even where
values to be marshalled are passed through polymorphic functions.
Expect to hear more later this year.

Mark