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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 4498ABC69; Sun, 29 Apr 2007 16:10:34 +0200 (CEST) Received: from sigma957.cis.mcmaster.ca (sigma957.CIS.McMaster.CA [130.113.64.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3TEAXvC026541; Sun, 29 Apr 2007 16:10:33 +0200 Received: from Dura7.UTS.McMaster.CA (dura7.UTS.mcmaster.ca [130.113.196.62]) by sigma957.cis.mcmaster.ca (8.13.7/8.13.7) with ESMTP id l3TEAQfD002088; Sun, 29 Apr 2007 10:10:31 -0400 (EDT) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by Dura7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id l3TE9nAx029754; Sun, 29 Apr 2007 10:09:49 -0400 Received: from [74.109.166.109] (account carette@univmail.cis.mcmaster.ca HELO [192.168.1.101]) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 4.1.8) with ESMTP-TLS id 171655021; Sun, 29 Apr 2007 10:09:50 -0400 Message-ID: <4634A72D.907@mcmaster.ca> Date: Sun, 29 Apr 2007 10:09:49 -0400 From: Jacques Carette Organization: McMaster University User-Agent: Thunderbird 1.5.0.10 (Windows/20070221) MIME-Version: 1.0 To: Pierre Weis Cc: caml-list@inria.fr Subject: Re: [Caml-list] New release of moca References: <20070427130839.A46C8BC6B@yquem.inria.fr> In-Reply-To: <20070427130839.A46C8BC6B@yquem.inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 5.3.1.294258, Antispam-Engine: 2.5.1.298604, Antispam-Data: 2007.4.29.65233 X-PerlMx-Spam: Gauge=IIIIIII, Probability=7%, Report='__CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __SANE_MSGID 0, __USER_AGENT 0' X-Miltered: at concorde with ID 4634A759.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; weis:01 esop:01 metaocaml:01 metaocaml:01 wrote:01 syntactic:01 caml-list:01 pierre:02 caml:02 implemented:02 mcmaster:02 types:03 types:03 jacques:03 jacques:03 Pierre Weis wrote: > Relational types in Caml > Very nice indeed. As a matter of fact, I was just reading (and enjoying) the ESOP paper in the plane yesterday! My question is: why is this done as a pre-processor instead of as an extension of metaocaml? Certainly some of the features of Moca can be implemented in metaocaml (I have done this myself for rings and monoids). The added advantage of using metaocaml is, of course, the types. As a (syntactic) pre-processor, getting good error messages out of Moca will be rather challenging, no? Jacques PS: Genuine question, not criticism.