Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Alternative Bytecodes for OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: mikel <mikel@e...>
Subject: [Caml-list] Re: bytecode and native code at once
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