Version française
Home     About     Download     Resources     Contact us    
Browse thread
Saving the OCaml interpreter state
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
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