From: Anoq of t. S. <anoq@HardcoreProcessing.com> - 1970-01-01 00:00:00
|
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 |