From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 4E955BC84 for ; Mon, 28 Mar 2005 20:42:07 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j2SIg6SR019246 for ; Mon, 28 Mar 2005 20:42:06 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA05811 for ; Mon, 28 Mar 2005 20:42:06 +0200 (MET DST) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j2SIg5uq003756 for ; Mon, 28 Mar 2005 20:42:06 +0200 Received: from [130.113.68.27] (account carette@univmail.cis.mcmaster.ca HELO pccarettej) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 4.1.8) with ESMTP id 87228024; Mon, 28 Mar 2005 13:42:04 -0500 Reply-To: From: "Jacques Carette" To: "'Walid Taha'" Cc: , Subject: RE: [MetaOCaml] Monads, monadic notation and OCaml Date: Mon, 28 Mar 2005 13:40:09 -0500 Organization: McMaster University Message-ID: <003901c533c5$91bc2e50$1b447182@cas.mcmaster.ca> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.6626 In-Reply-To: X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 Importance: Normal X-Miltered: at nez-perce with ID 42484FFE.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42484FFD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; metaocaml:01 monads:01 monadic:01 notation:01 ocaml:01 fft:01 caml-list:01 walid:01 oleg:01 walid:01 taha:01 booktitle:01 emsoft:01 grammar:01 grammar:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: > This is pretty cool! Thanks. > Are you using the same monad we used in the FFT work? Yes. For those on caml-list, the paper Walid refers to is @inproceedings{KiselyovSwadiTaha2004, author =3D {Oleg Kiselyov and Kedar N.~Swadi and Walid Taha}, title =3D {A methodology for generating verified combinatorial circuits}, booktitle =3D {ACM International conference on Embedded Software (EMSOFT)}, year =3D {2004} } > Also, can you either get rid of the ";" after the "in" or the "in" = before the ";"? :) See the comments in pa_monad.ml. Unfortunately we cannot easily do = that; in fact the required amount of work to achieve this might be quite large! = It would be by far easier to integrate this right into the grammar rather = than to post-facto extend the grammar via camlp4. At least, as far as my = current understanding of camlp4 goes -- maybe if a lot more of the tricks of the camlp4 Masters were documented, it would not look so hard anymore! Jacques