うわー

単純に、関数の部分適用が(従来の)SMLでは出来ないのねーと言う話をしてたつもりだったのですがー。
id:sumii:20061027:1161939598
まあ、Ocamlの型推論機構は、確実なようにしか推論してないよというのは一応分かっている・・・つもりです。id:wpw氏の演習でもちゃんとやりました・・・よね？確か。あやふや。でもSML#では実装してしまったわけですね。破壊的代入がある以上、全ての場合と言うわけにもいかないでしょうが。どうしても、と言う場合には自分で型を書く必要もあるんじゃないかとは推察。