明日は停電です。皆様、へんな時間に登校なさらないよう。

MLとかそういう話は危険。とりあえず、分かってないことは分かってないと書いた上で、分かっていることを分かっていると書かないとヤバい。今更だけど。 せっかく突っ込みを入れてくれているので、良い方向になるようにしないと。

単純に、関数の部分適用が(従来の)SMLでは出来ないのねーと言う話をしてたつもりだったのですがー。 id:sumii:20061027:1161939598 まあ、Ocamlの型推論機構は、確実なようにしか推論してないよというのは一応分かっている・・・つもりです。id:wpw氏の演習…

http://www-sato.cc.u-tokyo.ac.jp/SATO.Hiroyuki/FortranDAY.htmFortran2003って・・・まだ開発していたのかFortranは。そっちのほうが驚きだが。それなのに相も変わらず使われ続けるFortran77って一体。それを考えると、未だにPerl4の文法で記述している某…

えっと、id:sumiiさんの解説を待ったほうがいいんだと思うんですが、まずOcamlとSMLとSML#はそれぞれ異なる型推論を行っている、という事自体はあってますよね？SML#についてはまあ置いておくことにして、OcamlとSMLで違うと言うこと自体が(昨日の段階では)…