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 XAA00655; Sat, 8 May 2004 23:36:42 +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 XAA00178 for ; Sat, 8 May 2004 23:36:40 +0200 (MET DST) Received: from glockenspiel.complete.org (glockenspiel.complete.org [69.10.152.57]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i48LadSH005895 for ; Sat, 8 May 2004 23:36:39 +0200 Received: from localhost (localhost [127.0.0.1]) by glockenspiel.complete.org (Postfix) with ESMTP id 27702C1; Sat, 8 May 2004 16:36:41 -0500 (CDT) Received: from glockenspiel.complete.org ([127.0.0.1]) by localhost (glockenspiel [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 21219-08; Sat, 8 May 2004 16:36:41 -0500 (CDT) Received: from erwin.complete.org (unknown [12.149.180.20]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "erwin.complete.org", Issuer "John Goerzen -- Root CA" (verified OK)) by glockenspiel.complete.org (Postfix) with ESMTP id 62EC2109; Sat, 8 May 2004 16:36:39 -0500 (CDT) Received: from heinrich.complete.org (heinrich.lan.complete.org [10.200.0.15]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "christoph.complete.org", Issuer "John Goerzen -- Root CA" (verified OK)) by erwin.complete.org (Postfix) with ESMTP id 06CCF5AC; Sat, 8 May 2004 16:36:30 -0500 (CDT) Received: by heinrich.complete.org (Postfix, from userid 1000) id 693BCA579; Sat, 8 May 2004 16:37:16 -0500 (CDT) Date: Sat, 8 May 2004 16:37:16 -0500 From: John Goerzen To: Jon Harrop Cc: caml-list@inria.fr Subject: Re: [Caml-list] OCaml to C Message-ID: <20040508213716.GA31881@complete.org> References: <200405072211.12238.jdh30@cam.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200405072211.12238.jdh30@cam.ac.uk> User-Agent: Mutt/1.5.5.1+cvs20040105i X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at complete.org X-Miltered: at concorde with ID 409D52E7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 2004:99 camlp:01 runtime:01 ocamlopt:01 compiler:01 ocaml:01 ocaml:01 native-code:02 compile:02 native:02 parsers:03 wrote:03 wondering:04 compiled:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, May 07, 2004 at 10:11:12PM +0100, Jon Harrop wrote: > I was just wondering if there was a compiler which could convert ocaml code > into self-contained, efficient C code which could then be sold? By efficient, > I mean performance comparable to that of native-code compiled ocaml. > > I am asking because I think that C code (even unreadable C) may currently be > more commercially viable than ocaml code. I believe there has been some work to develop C parsers or pretty printers for camlp4. I don't think that any of them can do exactly what you want yet -- making a completely self-contained program -- since, of course, there are pieces of the OCaml runtime to bring along. However, if you are going to do that, why not just compile the code to native code with ocamlopt and not worry about the C piece? -- John ------------------- 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