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

> -----BEGIN PGP SIGNED MESSAGE-----
> 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.

--me

-------------------
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