Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] adding data persistency in Ocaml...
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: James Leifer <James.Leifer@i...>
Subject: Re: [Caml-list] adding data persistency in Ocaml...
Hello Basile,

Pierre Weis <> writes:
> discussed in long the difference between writing then reading back
> values from a single executable and transferring data among unrelated
> programs

We (J.J. Leifer, G. Peskine, P. Sewell, K. Wansbrough) have worked on
a theory of type-safe marshalling for values of abstract types.  The
theory ensures type and abstraction safety when communicating between
separately built programs.  The idea is to calculate hashes
(fingerprints) of modules to generate type identifiers for abstract
types that are globally meaningful.  These hashes are then compared at
run-time in a dynamic check when unmarshalling.

The ICFP paper about this is ``Global abstraction-safe marshalling
with hash types'':

There are limitations to the current theory (no polymorphism, no
functors, no reference cells, no versioning, no dynamic binding, ...)
that we are working to overcome.  Peskine is interested in the
polymorphism question and may try to do an implementation of safe
marshalling for Ocaml.  Some of Sewell's interns are also working on
implementations of various aspects of this in a toy ``mini'' Caml

Basile, come visit us in MOSCOVA (Batiment 8) if you'll be in Rocq!

Best regards,
James LEIFER, MOSCOVA Project, INRIA Rocquencourt

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: