Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Pickling for OCaml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Mark Shinwell <Mark.Shinwell@c...>
Subject: Re: [Caml-list] Pickling for OCaml?
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