ML-2000
A dialect of ML, an extension and redesign of
Standard ML
. Under development.