I think MLton does it this way. http://mlton.org/WholeProgramOptimization http://mlton.org/WholeProgramOptimization Dynamically linked and dynamically loaded

I think MLton does it this way. http://mlton.org/WholeProgramOptimization http://mlton.org/WholeProgramOptimization Dynamically linked and dynamically loaded libraries are useful though (paid for with its problems of course)