ML-2000
An extension and redesign of
Standard ML
. Under development.