トップ «前の日記(2006-11-27) 最新 次の日記(2006-11-29)» 月表示 編集

日々の流転


2006-11-28 [長年日記]

λ. Agate—an Agda-to-Haskell compiler by Hiroyuki Ozaki, Makoto Takeyama and Yoshiki Kinoshita

を読んだ。型システムの違いをどう吸収するのかを期待していたら、untypedなものに変換してしまっていた。変換はHOASに基づいたstraightforwardなもの。AgateでHaskellに変換してGHCでコンパイルしたものは、GHCで直接コンパイルしたものに比べて、2倍〜6倍の実行時間。

λ. 今日のITシステム

Tags: tom