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
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: 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,
> 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.

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.