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,HTML_MESSAGE 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 188ECBC69 for ; Fri, 13 Apr 2007 21:08:03 +0200 (CEST) Received: from mga09.intel.com (mga09.intel.com [134.134.136.24]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3DJ7wRL005235 for ; Fri, 13 Apr 2007 21:07:59 +0200 Received: from fmsmga002.fm.intel.com ([10.253.24.26]) by mga09.intel.com with ESMTP; 13 Apr 2007 12:07:56 -0700 Received: from orsmsx334.jf.intel.com ([10.22.226.45]) by fmsmga002.fm.intel.com with ESMTP; 13 Apr 2007 12:07:56 -0700 X-ExtLoop1: 1 X-IronPort-AV: i="4.14,408,1170662400"; d="scan'208,217"; a="73251501:sNHT41079240" Received: from orsmsx419.amr.corp.intel.com ([10.22.226.88]) by orsmsx334.jf.intel.com with Microsoft SMTPSVC(6.0.3790.1830); Fri, 13 Apr 2007 12:07:55 -0700 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C77DFF.0AA5CDF7" Subject: RE: [Caml-list] Saving the OCaml interpreter state Date: Fri, 13 Apr 2007 12:07:54 -0700 Message-ID: <509223F0BF55E74FA1247D17207E7A0C0151BA6B@orsmsx419.amr.corp.intel.com> In-Reply-To: <891bd3390704121652y1b5c43c1i3e6c7990f3f17c6b@mail.gmail.com> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] Saving the OCaml interpreter state Thread-Index: Acd9XlUof5bMccr2R+ONm88RsPt6TwAn96bQ From: "Harrison, John R" To: X-OriginalArrivalTime: 13 Apr 2007 19:07:55.0366 (UTC) FILETIME=[0ABD5060:01C77DFF] X-j-chkmail-Score: MSGID : 461FD50E.002 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3 X-Miltered: at discorde with ID 461FD50E.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 toplevel:01 ocaml:01 vaguely:01 stack:01 yaron:01 minsky:01 non-trivial:01 stdlib:01 marshalling:01 beginner's:01 bug:01 toplevel:01 vaguely:01 stack:01 This is a multi-part message in MIME format. ------_=_NextPart_001_01C77DFF.0AA5CDF7 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable By the way, I checked with someone who knows Poly/ML, and it turns out that the new mechanism can still be used to get save/restore of sessions just by nominating the Poly/ML toplevel as the function to export as a binary. So although the mechanism has changed, the basic support for saving and restoring sessions has not vanished. =20 I would very much like to see some such facility in OCaml. How hard is it? I vaguely remember some apparent problem with closures being allocated on the stack, but I don't recall the details. =20 John. =20 ________________________________ From: caml-list-bounces@yquem.inria.fr [mailto:caml-list-bounces@yquem.inria.fr] On Behalf Of Yaron Minsky Sent: Thursday, April 12, 2007 4:52 PM To: Jon Harrop Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Saving the OCaml interpreter state =20 You should check with someone who knows better, but I suspect that if you become a member of the OCaml consortium (which is fairly cheap) you would have the rights to do what you propose. y On 4/12/07, Jon Harrop wrote: 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=20 > 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=20 > > 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=20 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=20 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.=20 OCaml for Scientists http://www.ffconsultancy.com/products/ocaml_for_scientists _______________________________________________ Caml-list mailing list. Subscription management:=20 http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs =20 ------_=_NextPart_001_01C77DFF.0AA5CDF7 Content-Type: text/html; charset="us-ascii" Content-Transfer-Encoding: quoted-printable

By the way, I checked with someone = who knows Poly/ML, and it turns out that

the new mechanism can still be used = to get save/restore of sessions just by nominating

the Poly/ML toplevel as the = function to export as a binary. So although the mechanism

has changed, the basic support for = saving and restoring sessions has not vanished.

 

I would very much like to see some = such facility in OCaml. How hard is it? I = vaguely

remember some apparent problem with closures being allocated on the stack, but = I

don’t recall the = details.

 

John.

 

From: caml-list-bounces@yquem.inria.fr = [mailto:caml-list-bounces@yquem.inria.fr] On Behalf Of Yaron Minsky
Sent: Thursday, April 12, = 2007 4:52 PM
To: Jon Harrop
Cc: = caml-list@yquem.inria.fr
Subject: Re: [Caml-list] = Saving the OCaml interpreter state

 

You should = check with someone who knows better, but I suspect that if you become a member of = the OCaml consortium (which is fairly cheap) you would have the rights to do = what you propose.

y

On 4/12/07, Jon Harrop <jon@ffconsultancy.com> wrote:

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

_______________________________________________
Caml-list mailing list. Subscription management:
http://= yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yaho= o.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml= -bugs

 

------_=_NextPart_001_01C77DFF.0AA5CDF7--