ついでに追加。型推論：変数や式の型をプログラマが宣言しなくても、言語処理系が文脈から推論してくれる機構。MLとかHaskellとか。型検査：変数や式の型が合っていることを言語処理系が（普通は静的に）チェックしてくれる機構。CとかJavaとか、MLやHaskell…

たまに混同されているようですが、両者は直交な概念です。「単相型の型推論」も「型推論のない多相型」も普通に可能です。何となく思い出したので書いておく。

しました。いや、すべて壊れたわけではないのですが、メイン環境であるVMwareの仮想ディスクのファイルがI/Oエラーで読めなくなったので、仕事ができません。中のファイルのバックアップはあるのですが、とりあえずノートPCから仮想ディスクをコピーして復旧…

されてしまったらしい。遊びで作ったもののほうが本来の研究より（ごく一部で）ヒットするという罠。