[MLton] HOL's Moscow ML implementation, and pushing MLton to emulate it

Matthew Fluet fluet@cs.cornell.edu
Thu, 7 Apr 2005 22:48:07 -0400 (EDT)


> Stephen Weeks wrote:
> {stuff deleted}
> > To spell out a little more detail -- this does not involve rewriting
> > all of MLton!  
> {stuff deleted}
> 
> BTW this sounds awfully like an approach that would end up giving us 
> separate compilation!. i.e. compile two programs with MLTon link them 
> together and have them interoperate via a universal data rep...

One had to defunctorize the program before monomorphising, and one still 
needs to defunctionalize after monomorphising.