日々の流転

λ. OCamlとタイプクラス

Haskellの一般的な実装(jhcを除く)では、dictionaly を追加的な引数として渡す形に変換することで部分コンパイルを実現しているし、最適化もそれなりに色々と出来ている。なので、OCamlでも同じようにすれば良いのにと思う。

言及されているメールで「That's a huge performance cost and it probably isn't too easy to optimise it away.」と書かれているのは、OCaml使いはこのレベルでは到底満足できないってことなのだろうか。

λ. ICPC国内予選

だるい、めんどい。

λ. 『四季　春』, 森 博嗣

を読んだ。森 博嗣 を読むのは久し振り。普通に面白かった。