From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.9 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 0FFB7BC6B for ; Thu, 12 Apr 2007 14:28:24 +0200 (CEST) Received: from relay2.beelinegprs.ru (mail.gprsrus.net [217.118.66.233]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3CCSNWF007720 for ; Thu, 12 Apr 2007 14:28:23 +0200 Received: from relay2 (localhost [127.0.0.1]) by relay2 (Postfix) with SMTP id A364813E57F for ; Thu, 12 Apr 2007 16:25:11 +0400 (MSD) Received: from [192.168.0.80] (unknown [172.19.135.12]) by relay2.beelinegprs.ru (Postfix) with ESMTP id C9D5A13E734 for ; Thu, 12 Apr 2007 16:25:09 +0400 (MSD) From: Michael Nedzelsky Reply-To: MichaelNedzelsky@yandex.ru To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Saving the OCaml interpreter state Date: Thu, 12 Apr 2007 16:27:17 +0400 User-Agent: KMail/1.7.1 References: <509223F0BF55E74FA1247D17207E7A0C014E5063@orsmsx419.amr.corp.intel.com> In-Reply-To: <509223F0BF55E74FA1247D17207E7A0C014E5063@orsmsx419.amr.corp.intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200704121627.17616.MichaelNedzelsky@yandex.ru> X-SpamTest-Info: Profile: Formal (1132/070412) X-SpamTest-Info: Profile: Detect Hard No RBL (4/030526) X-SpamTest-Info: Profile: SysLog X-SpamTest-Info: Profile: Marking Spam - Subject (2/030321) X-SpamTest-Status: Not detected X-SpamTest-Version: SMTP-Filter Version 2.0.0 [0125], KAS/Release X-Miltered: at discorde with ID 461E25E7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 sml:01 bindings:01 ocaml:01 yandex:98 wrote:01 caml-list:01 functions:01 executables:01 loops:02 poly:02 poly:02 functional:02 objects:02 languages:03 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. 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. Michael