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 72F92BC0A; Mon, 4 Jun 2007 14:47:45 +0200 (CEST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l54Clhee012626; Mon, 4 Jun 2007 14:47:44 +0200 Received: by yquem.inria.fr (Postfix, from userid 18041) id D91DABC0A; Mon, 4 Jun 2007 14:47:43 +0200 (CEST) Date: Mon, 4 Jun 2007 14:47:43 +0200 To: Yaron Minsky Cc: Luc Maranget , caml-list@inria.fr Subject: Re: [Caml-list] JoCaml Released. Message-ID: <20070604124743.GA16252@yquem.inria.fr> References: <20070604085744.GA4654@yquem.inria.fr> <891bd3390706040513r398a8415r4d790c6040ed200@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <891bd3390706040513r398a8415r4d790c6040ed200@mail.gmail.com> User-Agent: Mutt/1.5.9i From: luc.maranget@inria.fr (Luc Maranget) X-Miltered: at discorde with ID 466409EF.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; jocaml:01 maranget:01 maranget:01 jocaml:01 ocaml:01 syntax:01 compiler:01 compiler:01 compilation:01 buffer:01 ocaml:01 compilation:01 camlp:01 labltk:01 merging:01 > 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? As far as I know, access to the guts of the compiler is required at least for the following two features. - Specific typing rules. - Pattern matching compilation. See the buffer example in the doc for instance Besides, JoCaml is not a full OCaml distribution. JoCaml is a restricted OCaml distribution. On the light side, JoCaml compilation is very fast; on the dark side, some of OCaml tools are not available, (camlp4, ocamlbuild, labltk..) > - 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? I can only wish a bright future to JoCaml :) Our team will support JoCaml. Merging JoCaml into the OCaml mainline tree is another story. We have no plans for that at the moment. Let us wait a bit for JoCaml success to deprecate OCaml thread libraries. -- Luc