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.2 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 C8E5ABC0A for ; Mon, 4 Jun 2007 14:13:56 +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 l54CDtG8003485 for ; Mon, 4 Jun 2007 14:13:56 +0200 Received: by nz-out-0506.google.com with SMTP id s18so877578nze for ; Mon, 04 Jun 2007 05:13:55 -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=uVlv0gzDAT7zrsTFrds+L8LKFftHx2W5Yymyt/Iah6asOGzdrFBStkaWGV5gLJYfJFeYd8xiGsGpBDpeExkIvTVALhluaxJ4dvnxoAkMv1LfZhliYOqczfzS0o/QvrKO+cL5mpxP1ru5N/PcTjDSsUxct8fcpezwaw+/ZL3w89U= 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=D1CchnxkdNh0iAus5dwOhJ/lGDk4swtmCcuRFmG4qlF4uV9MTaiq0Nr0Zz2GYJ3yUJtMcDKJdCIXDqT8kznBFB0e0S5jc1Jr6vfkxIADvTQf4Ecm8CyfhC/D3GpxiOdaa9V6XTp4ACJ4c8t2J/7VBdheEhu5a2+0wniLu2zcwRM= Received: by 10.114.199.1 with SMTP id w1mr4783120waf.1180959234751; Mon, 04 Jun 2007 05:13:54 -0700 (PDT) Received: by 10.114.52.9 with HTTP; Mon, 4 Jun 2007 05:13:54 -0700 (PDT) Message-ID: <891bd3390706040513r398a8415r4d790c6040ed200@mail.gmail.com> Date: Mon, 4 Jun 2007 08:13:54 -0400 From: "Yaron Minsky" Sender: yminsky@gmail.com To: "Luc Maranget" Subject: Re: [Caml-list] JoCaml Released. Cc: caml-list@inria.fr In-Reply-To: <20070604085744.GA4654@yquem.inria.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_745_21747883.1180959234683" References: <20070604085744.GA4654@yquem.inria.fr> X-Google-Sender-Auth: 9e9c0b91e5c9b20c X-Miltered: at discorde with ID 46640203.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; yaron:01 minsky:01 yminsky:01 jocaml:01 jocaml:01 ocaml:01 syntax:01 compiler:01 ocaml:01 encouraging:01 maranget:01 maranget:01 syntax:01 bytecode:01 compiler:01 ------=_Part_745_21747883.1180959234683 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline A couple of questions: - Why is it that JoCaml is a full OCaml distribution as opposed to just a set of libraries plus a syntax extension. Was there some particular feature that required hacking the compiler directly, or was it just more convenient to build it that way? - What do you think the future of JoCaml is? Any thoughts on whether it will be supported in the future, and in particular whether it will get merged back into the OCaml mainline tree? It's very encouraging to see the community doing so much work in this area. The new JoCaml looks quite interesting. y On 6/4/07, Luc Maranget wrote: > > > We are happy to annouce the release of JoCaml. > > JoCaml is an extension of Objective Caml for concurrent > and distributed programming based upon the join calculus. > More details (including a tutorial) are available on > the jocaml web site: > . > > > > > The new JoCaml (born again jocaml) is a total re-implementation of > the new defunct JoCaml by F. Le Fessant. With respect to this previous > version, changes are important. > > * New syntax. Believe it or not, the new syntax is better. > > * More convenient command set (bytecode compiler jocamlc, > toplevel jocaml, native code compiler jocamlopt). > > * Disparition of mobility features. More reasearch is needed > for those, besides they break OCaml compatibility. > > * Full compatibility with OCaml. For that reason, we adopt > OCaml releasing scheme: initial version of JoCaml is 3.10.0. > > > > --- > Louis Mandel & Luc Maranget (jocaml-devel@inria.fr). > > _______________________________________________ > 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_745_21747883.1180959234683 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline A couple of questions:
  • Why is it that JoCaml is a full OCaml distribution as opposed to just a set of libraries plus a syntax extension.  Was there some particular feature that required hacking the compiler directly, or was it just more convenient to build it that way?
  • What do you think the future of JoCaml is?  Any thoughts on whether it will be supported in the future, and in particular whether it will get merged back into the OCaml mainline tree?

It's very encouraging to see the community doing so much work in this area.  The new JoCaml looks quite interesting.

y

On 6/4/07, Luc Maranget <luc.maranget@inria.fr> wrote:

We are happy to annouce the release of JoCaml.

  JoCaml is an extension of Objective Caml for concurrent
  and distributed programming based upon the join calculus.
  More details (including a tutorial) are available on
  the jocaml web site:
  <http://jocaml.inria.fr/>.




  The new JoCaml (born again jocaml) is a total re-implementation of
  the new defunct JoCaml by F. Le Fessant. With respect to this previous
  version, changes are important.

    * New syntax. Believe it or not, the new syntax is better.

    * More convenient command set (bytecode compiler jocamlc,
      toplevel jocaml, native code compiler jocamlopt).

    * Disparition of mobility features. More reasearch is needed
      for those, besides they break OCaml compatibility.

    * Full compatibility with OCaml. For that reason, we adopt
      OCaml releasing scheme: initial version of JoCaml is 3.10.0.



---
Louis Mandel & Luc Maranget (jocaml-devel@inria.fr).

_______________________________________________
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_745_21747883.1180959234683--