[MLton] Isabelle on MLton?

nipkow@in.tum.de nipkow@in.tum.de
Sat, 25 Mar 2006 09:57:09 +0100 (CET)


> what would MLton have to offer over the other compilers that already do
> that?

Stability? 64 bits? Moderate memory consumption?

Our current two platforms do not meet all of these requirements. However,
we'll also take a closer look to see if the many "use"s can be eliminated. It
won't be easy and it would make the system less (easily) user-extensible.

Thanks,
Tobias