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: 2003-07-11 (22:05)
From: Pierre Weis <pierre.weis@i...>
Subject: Re: [Caml-list] adding data persistency in Ocaml...
> If you have wishes or ideas on how to do it, potential applications in
> need of it (CGIs are obvious candidates, but there are other
> interested applications) or pitfalls to avoid, or relevant literature,
> please feel free to discuss them on the list (or to send it to me if
> you feel it is not of general interest).
> -- 
> email: basile<at>starynkevitch<dot>net 
> aliases: basile<at>tunes<dot>org = bstarynk<at>nerim<dot>net
> 8, rue de la Faïencerie, 92340 Bourg La Reine, France
> -------------------

Articles have been written on the subject by members of the Cristal
group at INRIA (they called that feature safe value I/Os); they
discussed in long the difference between writing then reading back
values from a single executable and transferring data among unrelated
programs + they explain the tension between being able to read back
stuff from a modified program wrt supporting type abstraction (either
types abstracted in Caml or type abstraction due to external
definitions).  They also study the type systems needed to support this
feature directly from within the language, and the interaction with
dynamic values. Sound relevant to your study.

Pierre Weis

INRIA, Projet Cristal,,

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