SuccessorML
https://github.com/SMLFamily/Successor-ML
StandardMLの次世代仕様の名前らしい。まだ策定中。