Standard MLの実装

現在のShootoutの結果や、Shaoのコードが（中略）なせいもあって、今はSML/NJよりMLtonのほうが良くできているんじゃないか（ついでにいうと、昔もSML/NJよりPoly/MLのほうが良くできていたんじゃないか）というイメージもあるのですが、どうなんでしょうか？＞SML識者　僕はもうどちらもほとんど使っていないので…