Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2004-08-26 (16:00)
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 Archives:
Bug reports: FAQ:
Beginner's list: