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 SAA20840; Thu, 26 Aug 2004 18:00:52 +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 SAA20784 for ; Thu, 26 Aug 2004 18:00:50 +0200 (MET DST) Received: from main.gmane.org (main.gmane.org [80.91.224.249]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i7QG0o21015053 for ; Thu, 26 Aug 2004 18:00:50 +0200 Received: from root by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 1C0MgD-00069Q-00 for ; Thu, 26 Aug 2004 18:00:49 +0200 Received: from adsl-63-203-37-41.dsl.snfc21.pacbell.net ([63.203.37.41]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 26 Aug 2004 18:00:49 +0200 Received: from mikel by adsl-63-203-37-41.dsl.snfc21.pacbell.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 26 Aug 2004 18:00:49 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: mikel Subject: [Caml-list] Re: bytecode and native code at once Date: Thu, 26 Aug 2004 08:52:52 -0700 Message-ID: References: <1093514139.15255.692.camel@pelican.wigram> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@sea.gmane.org X-Gmane-NNTP-Posting-Host: adsl-63-203-37-41.dsl.snfc21.pacbell.net User-Agent: Mozilla Thunderbird 0.7a (Macintosh/20040614) X-Accept-Language: en-us, en In-Reply-To: <1093514139.15255.692.camel@pelican.wigram> X-Miltered: at concorde with ID 412E0932.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 2004:99 brandon:99 extensible:01 doable:01 coexist:01 runtime:01 closures:01 compiler:01 compiler:01 ocaml:01 bytecode:01 bytecode:01 native:02 native:02 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk skaller wrote: > On Thu, 2004-08-26 at 14:26, Brandon J. Van Every wrote: > > >>I do wish bytecode and native code could be combined in the same >>application. This is a typical game development scenario. > > > This applies in many areas not just game development. > I'd very much like to build an extensible compiler .. It's doable in principle. For example, the old MacScheme compiler used parameters to tune compilation on a per-function basis; low optimization settings resulted in generation of bytecode; high optimization settings resulted in generation of native code. Both types of function could coexist in the same runtime, with the different kinds of closures represented by different appliable types. I don't know what implications such a scheme might have for type safety in Ocaml. ------------------- 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