-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Mikel!

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

> -------------------
> 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
>
Best regards,
Paul

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (Darwin)

iEYEARECAAYFAkEuGUEACgkQbot1wzHBQBVg0ACbB4ho0nrAjFy4rn/bQ6DMYv4f
TH8AnAmwIqi8gjd+52R/skPrGpPhNd3A
=Dqkn
-----END PGP SIGNATURE-----

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