From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA20253; Fri, 18 Jun 2004 14:32:54 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 OAA20241 for ; Fri, 18 Jun 2004 14:32:53 +0200 (MET DST) Received: from cs.rice.edu (cs.rice.edu [128.42.1.30]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i5ICWpSH025550 for ; Fri, 18 Jun 2004 14:32:52 +0200 Received: from localhost (calypso.cs.rice.edu [128.42.1.127]) by cs.rice.edu (Postfix) with ESMTP id D708E4AA20; Fri, 18 Jun 2004 07:32:50 -0500 (CDT) Received: from cs.rice.edu ([128.42.1.30]) by localhost (calypso.cs.rice.edu [128.42.1.127]) (amavisd-new, port 10024) with LMTP id 21127-01-38; Fri, 18 Jun 2004 07:32:50 -0500 (CDT) Received: from boromir.cs.rice.edu (boromir.cs.rice.edu [128.42.129.71]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (No client certificate requested) by cs.rice.edu (Postfix) with ESMTP id 80B334AA1D; Fri, 18 Jun 2004 07:32:50 -0500 (CDT) Date: Fri, 18 Jun 2004 07:32:50 -0500 (CDT) From: Walid Taha To: Richard Jones Cc: Ocaml Mailing List , Subject: Re: Implementing DSLs in OCaml/CamlP4 (was: Re: [Caml-list] Great Programming Language Shootout Revived) In-Reply-To: <20040618104804.GA21245@redhat.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by amavis-20030616-p7 at cs.rice.edu X-Miltered: at concorde with ID 40D2E0F3.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; camlp:01 caml-list:01 shootout:01 metaocaml:01 camlp:01 graydon:01 finer:01 ocaml:01 ocaml:01 walid:02 walid:02 essentially:02 wrote:03 taha:05 taha:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi Rich, I like that talk, and especially that discussion on safety. MetaOCaml provides safer support essentially the same approach. Good starting points would be: http://www.cs.rice.edu/~taha/publications/journal/dspg04b.pdf and http://www.cs.rice.edu/~taha/publications/journal/dspg04a.pdf Walid. On Fri, 18 Jun 2004, Richard Jones wrote: |Are there any decent tutorials on using OCaml/Camlp4 as a |Domain-Specific Language (DSL)? I was intrigued by |http://www.venge.net/graydon/talks/mkc/html/index.html but it was fair |to say that I didn't really understand the finer points of what he was |talking about. | |Rich. | | -- ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners