]> > 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). [...] > -- > > Basile STARYNKEVITCH http://starynkevitch.net/Basile/ > 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. http://pauillac.inria.fr/jfla/2000/furuse.ps.gz http://pauillac.inria.fr/jfla/2001/actes/07-furuse.ps Pierre Weis INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners