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.0 required=5.0 tests=AWL 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 48E9BBC69 for ; Thu, 12 Apr 2007 20:33:58 +0200 (CEST) Received: from pih-relay04.plus.net (pih-relay04.plus.net [212.159.14.131]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3CIXvfH015277 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Thu, 12 Apr 2007 20:33:58 +0200 Received: from [80.229.56.224] (helo=beast.local) by pih-relay04.plus.net with esmtp (Exim) id 1Hc45N-0003Xf-2d for caml-list@yquem.inria.fr; Thu, 12 Apr 2007 19:31:57 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Saving the OCaml interpreter state Date: Thu, 12 Apr 2007 19:27:13 +0100 User-Agent: KMail/1.9.5 References: <509223F0BF55E74FA1247D17207E7A0C014E58AE@orsmsx419.amr.corp.intel.com> In-Reply-To: <509223F0BF55E74FA1247D17207E7A0C014E58AE@orsmsx419.amr.corp.intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200704121927.13895.jon@ffconsultancy.com> X-Miltered: at discorde with ID 461E7B95.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 non-trivial:01 stdlib:01 marshalling:01 frog:98 wrote:01 caml-list:01 poly:02 top-level:02 top-level:02 implementing:06 interpreter:07 quite:07 michael:07 On Thursday 12 April 2007 16:53, Harrison, John R wrote: > | A new version of Poly ML also doesn't have the persistent storage > > system. > > Thanks; I didn't know that, and it comes as quite a surprise given > Poly's history. > > Still, my question about OCaml stands. More specifically, I want to > know whether the facility to save and restore state doesn't exist > because > > * None of the main OCaml developers particularly care about it > > or > > * There are non-trivial technical problems implementing it. Like Michael, I am also not going to answer your question (sorry!) but can I just say that, as a commercial developer, there would be significant incentive to write a killer IDE for OCaml if the current top-level was free for commercial use, e.g. part of the stdlib. Having been playing with F# recently, I'm starting to appreciate some of the features afforded by a decent IDE. However, both OCaml and F# lack features found in the other and, more importantly, lack many features that could be hugely beneficial, particularly to users of the interactive systems. Marshalling top-level state is one such feature. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. OCaml for Scientists http://www.ffconsultancy.com/products/ocaml_for_scientists