calling SML from C

[Anoq of the Sun]

Stephen Weeks wrote:
> Here is a sketch of one way to do it with a few modifications the current
> MLton (but almost no compiler mods).
> ...

This sure sounds very interesting :)

I'm wondering about a few things:
1) Will this scheme allow the whole program optimizer
   to potentially inline all basis library funtions used
   in an ML function called from C? - as I believe it should
   if things are to be really efficient :)
2) Will this work correctly with garbage collection accross
   the function call boundaries? (and how?)
3) Would it be possible to extend this so that one can put
   the ML-functions in a separate dynamically loaded library -
   and even do SML -> SML-dynamic-library calls and
   C -> SML-dynamic-library calls? :)


Cheers
-- 
http://www.HardcoreProcessing.com