結局分かったことと分からないこと

えっと、id:sumiiさんの解説を待ったほうがいいんだと思うんですが、まずOcamlとSMLとSML#はそれぞれ異なる型推論を行っている、という事自体はあってますよね？SML#についてはまあ置いておくことにして、OcamlとSMLで違うと言うこと自体が(昨日の段階では)初耳でした。
で、その上でOcamlの型推論については、まあそこそこ知っている、と。簡単に使う上で不便しないくらいには。ガリガリ書いているわけではないので、分かってない部分もあると思いますが。それに対してSMLの型推論機構については全く知らないと言うか、文法自体があんまり。http://www.ps.uni-sb.de/~rossberg/SMLvsOcaml.htmlでまあそんなもんか、と思ったくらいで、まあほとんど同じなんでしょ？くらいの認識でした。
なので、Ocamlの結果を見せられた場合はすごく普通だなーと思うのですが、SMLについては？がいっぱいです。SML#の方が推論機構がbetterだというのは分かったのですが、そもそものSMLが実はよくわからないので、どこまで差があるのか、というのは分かってません。
SMLの文法はsumiiさんの授業のレジュメを読んでみるのが一番なのかもしれないですね。