Browse thread
Saving the OCaml interpreter state
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-04-12 (12:28) |
From: | Michael Nedzelsky <MichaelNedzelsky@y...> |
Subject: | Re: [Caml-list] Saving the OCaml interpreter state |
On Wed, 11 Apr 2007 02:08 am, Harrison, John R wrote: > I think I asked roughly this question several years ago, but I would > appreciate > > a reminder. > > > > In several read-eval-print loops for functional languages (e.g. Poly, > SML/NJ, > > various LISPs), it's possible to save and restore the current state so > you can > > start up again in an environment with all the same objects and name > bindings > > present. OCaml does not currently allow this. How hard would it be to > modify > > OCaml to support save/restore of sessions? At the moment I'm forced into > > OS-specific checkpointing of processes. A new version of Poly ML also doesn't have the persistent storage system. <quote> The persistent storage system that has been a feature of Poly/ML almost since the beginning has finally reached its sell-by date and has been removed. In its place there is the facility to export ML functions as object files and link them to produce stand-alone executables. </quote> Michael