トップ «前の日記(2005-06-30) 最新 次の日記(2005-07-02)» 月表示 編集

日々の流転


2005-07-01 [長年日記]

λ. OCamlとタイプクラス

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

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

Tags: ocaml haskell

λ. ICPC国内予選

だるい、めんどい。

λ. 『四季 春』, 森 博嗣

四季 春 (講談社ノベルス)(森 博嗣) を読んだ。森 博嗣 を読むのは久し振り。普通に面白かった。

Tags: