日々の流転

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

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

• Agate

λ. 今日のITシステム

• SVG関係で研究になりそうなことはあるか?
• 太田メソッド「スライドがないなら、発表しながら作れば良いじゃない」
• Bloom filter
  • <URL:http://chasen.org/~taku/blog/archives/2006/01/bloom_filter_1.html>
  • <URL:http://dev.ariel-networks.com/modules/xfsection/article.php?articleid=18>