I like to use SML/NJ for development and experimentation, and MLton for final compilation. SML/NJ is a really nice development environment, and using a differe

I like to use SML/NJ for development and experimentation, and MLton for final compilation. SML/NJ is a really nice development environment, and using a different compiler like MLton or Poly/ML for the final compilation forces you to use the more common, standard subset of ML rather than implementation-specific features.