From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E3EB5BBAF for ; Tue, 1 Aug 2006 10:44:18 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k718iIPL032317 for ; Tue, 1 Aug 2006 10:44:18 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA16557 for ; Tue, 1 Aug 2006 10:44:18 +0200 (MET DST) 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 k718iHGN032307 for ; Tue, 1 Aug 2006 10:44:17 +0200 Received: by nf-out-0910.google.com with SMTP id y38so197958nfb for ; Tue, 01 Aug 2006 01:44:17 -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:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=ZXNZY6+V5J3Ach8eJvXea0Icrct4IITf7dZrF48jy+HnwVdwa6BgT6WJZn7d28zNwMcz7QU14xjqmmMjRudF93+o2QiOMNZEFsCkKrKkjCulaZD1twVVaPEHIkWVRGPAuzi45dy6LXCAFfzcIHEKE+u+xgllggshjvM/LnhltSc= Received: by 10.78.127.2 with SMTP id z2mr182255huc; Tue, 01 Aug 2006 01:44:17 -0700 (PDT) Received: by 10.78.48.6 with HTTP; Tue, 1 Aug 2006 01:44:17 -0700 (PDT) Message-ID: <3d13dcfc0608010144l641431a0w31b2121565bc1054@mail.gmail.com> Date: Tue, 1 Aug 2006 10:44:17 +0200 From: "David MENTRE" To: Ocaml Subject: Re: [Caml-list] Resources for compiler/interpreter writers In-Reply-To: <3d13dcfc0608010142o485d51f0se410b7465619b86f@mail.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> <3d13dcfc0608010036i2d285a67peb7547d7fea2a104@mail.gmail.com> <9CCE3302-AE54-4FDC-B09B-86B5A5E733F5@gaillourdet.net> <3d13dcfc0608010142o485d51f0se410b7465619b86f@mail.gmail.com> X-j-chkmail-Score: MSGID : 44CF1461.000 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at nez-perce with ID 44CF1462.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44CF1461.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; compiler:01 compiler:01 sml:01 ocaml:01 translated:01 inference:01 garbage:01 compilation:01 2006:98 hobby:98 compilers:01 caml-list:01 caml:02 simpler:03 algorithms:03 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 Hello, 2006/8/1, Jean-Marie Gaillourdet : > I am not sure what kind of information you are interested in. Do you > know: Andrew W. Appel: "Modern Compiler Implementation in ML" ? It > covers SML and not Caml or OCaml but I'd say most concepts should be > translated easily. Yes, I have a copy of it. But I'm also interested in small compilers (even with reduced capabilities) like MinCaml that are easier to understand for a beginner, as well as ML specific items like type inference, pattern matching, garbage collection, ... That's probably the most difficult on the compilation topic: there is a lot of books, articles, etc. but it is sometimes hard for a beginner to determine the minimal set of knowledge needed to start and the improved algorithms that can be learned later. For a hobby compiler, one not necessarily looks for the most efficient algorithms but simpler ones that are easier to grasp. Best wishes, d.