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 (17:31)
From: mikel evins <mikel@e...>
Subject: Re: [Caml-list] Re: bytecode and native code at once

On Aug 26, 2004, at 10:09 AM, Paul Snively wrote:

> Hash: SHA1
> Hi Mikel!

Hiya, Paul! What are you up to? (Interesting to see your name floating 
around the Ocaml lists).

> On Aug 26, 2004, at 8:52 AM, mikel wrote:
>> 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.
> Is there some reason that asmdynlink, which is part of the Caml 
> Development Kit, doesn't address this?

I don't know. All I was saying is that I knew nothing about it, because 
I had devoted no attention to the issue.

> I also think that once MetaOCaml gets its native compiler done that it 
> will help answer the question as well, among others. I find MetaOCaml 
> very exciting!

Yeah, I heard the same thing from Adam Megacz. I suppose I oughta check 
it out.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: