From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <david.mentre@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
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 42661BBAF
	for <caml-list@yquem.inria.fr>; Tue,  1 Aug 2006 09:36:52 +0200 (CEST)
Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.189])
	by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k717aplY022045
	for <caml-list@yquem.inria.fr>; Tue, 1 Aug 2006 09:36:52 +0200
Received: by nf-out-0910.google.com with SMTP id g2so199590nfe
        for <caml-list@yquem.inria.fr>; Tue, 01 Aug 2006 00:36:51 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=PORuLJK3+zyGhe6QZi9YDoxEJrrSpYO3w/SJZXHjtuSgoujO03LcicANxnK5pxqNb3mtx1CgFYV/QVPC30qO0G/f/ESi7JKoAl2GlL6RGx5LceUrrS0GRAhucfnei1Ua5x1jjq7HrG1KhguV/ahe8jlHh76O6sLYKfT0c5/l1w4=
Received: by 10.78.183.8 with SMTP id g8mr169175huf;
        Tue, 01 Aug 2006 00:36:51 -0700 (PDT)
Received: by 10.78.48.6 with HTTP; Tue, 1 Aug 2006 00:36:51 -0700 (PDT)
Message-ID: <3d13dcfc0608010036i2d285a67peb7547d7fea2a104@mail.gmail.com>
Date: Tue, 1 Aug 2006 09:36:51 +0200
From: "David MENTRE" <david.mentre@gmail.com>
Reply-To: 
To: "Joel Reymont" <joelr1@gmail.com>
Subject: Re: [Caml-list] Resources for compiler/interpreter writers
Cc: caml-list <caml-list@yquem.inria.fr>
In-Reply-To: <1A2CE1CA-F715-46C0-8FF2-2B5503AF4A6B@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <1A2CE1CA-F715-46C0-8FF2-2B5503AF4A6B@gmail.com>
X-j-chkmail-Score: MSGID : 44CF0493.000 on nez-perce : j-chkmail score : X : 0/20 1
X-Miltered: at nez-perce with ID 44CF0493.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; compiler:01 ocaml:01 compiler:01 pointer:01 inference:01 2006:98 sourceforge:01 caml-list:01 slides:01 short:01 btw:02 caml:02 caml:02 seems:03 langage:03 
X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=RCVD_BY_IP,REPLY_TO_EMPTY 
	autolearn=disabled version=3.0.3

Hello,

2006/8/1, Joel Reymont <joelr1@gmail.com>:
> What are good OCaml resources for an aspiring compiler or interpreter
> writer? I already know about the "One-day Compiler" presentation.

Could you give a pointer to those slides?

> I would like to write a translator from a proprietary trading
> language that's very Pascal-like (EasyLanguage for Omega
> TradeStation). This seems like a fun starter project to me.

In the original Caml book ("Le Langage Caml",
http://caml.inria.fr/pub/old_caml_site/books-eng.html#camlprimer) in
French, you have a description of a short Pascal-like compiler, as
well as a description of a basic Caml type inference system.
Unfortunately, this book is hard to find.

You'll find some interesting information on MinCaml web site and code:
  http://min-caml.sourceforge.net/index-e.html

BTW, I'm also interested in information for wanabee compiler writer.

Best wishes,
d.