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=1.3 required=5.0 tests=AWL,HTML_MESSAGE,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 39629BC69 for ; Fri, 13 Apr 2007 01:52:31 +0200 (CEST) Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.233]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3CNqUDl001484 for ; Fri, 13 Apr 2007 01:52:30 +0200 Received: by nz-out-0506.google.com with SMTP id r28so614641nza for ; Thu, 12 Apr 2007 16:52:29 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:references:x-google-sender-auth; b=b8tr/OT3Q+eb4EcDSIM829UWDGYsyeY4EYSq4pGY1aryg784ox5RXOOoem9XO3ahAEkpi7/DBx9II4Bnb8JLqPItQutykbwROTUJwACnAvWevnFufH553a/wGj7GgN50VN1YaFi+MAUT+33Q7ETy6FO9xq/ROVCzDidbk5bsqFs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:references:x-google-sender-auth; b=rBvE1WaUIl6hbocCM5Iniqgal2N2cjMdr6sumK4Bw7uIOk05PTpeplUjv7bl0UxYR1xZTh8cgSYiXO5giaBHfQU5i2OnDTx/fOmIPFcRe4cvA52Jvvem6Z2rY8evvfluZPrjsYGxNtxSZe4g1WhSLqYC3HKVDxHvtOicYO7Y1Rk= Received: by 10.115.59.1 with SMTP id m1mr878838wak.1176421946131; Thu, 12 Apr 2007 16:52:26 -0700 (PDT) Received: by 10.115.58.3 with HTTP; Thu, 12 Apr 2007 16:52:26 -0700 (PDT) Message-ID: <891bd3390704121652y1b5c43c1i3e6c7990f3f17c6b@mail.gmail.com> Date: Thu, 12 Apr 2007 19:52:26 -0400 From: "Yaron Minsky" Sender: yminsky@gmail.com To: "Jon Harrop" Subject: Re: [Caml-list] Saving the OCaml interpreter state Cc: caml-list@yquem.inria.fr In-Reply-To: <200704121927.13895.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_37732_32717945.1176421946067" References: <509223F0BF55E74FA1247D17207E7A0C014E58AE@orsmsx419.amr.corp.intel.com> <200704121927.13895.jon@ffconsultancy.com> X-Google-Sender-Auth: f397ba6a4c8981e0 X-Miltered: at discorde with ID 461EC63E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; yaron:01 minsky:01 yminsky:01 ocaml:01 ocaml:01 non-trivial:01 stdlib:01 marshalling:01 beginner's:01 bug:01 non-trivial:01 stdlib:01 marshalling:01 beginner's:01 bug:01 ------=_Part_37732_32717945.1176421946067 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline 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 > > 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.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > ------=_Part_37732_32717945.1176421946067 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline 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.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

------=_Part_37732_32717945.1176421946067--