融合変換のための前処理として、普通の再帰的定義で書かれた関数を、foldなりhylomorphismを使った形に変換しないといけない。で、recursive definitionをcata/build formに変換するのが、warm fusionらしい。一応、Warm Fusion: Deriving Build-Catas from …

http://citeseer.ist.psu.edu/bierman95what.html(直観主義)線形論理の圏論的モデルには、linear category("Gang of four" model)を使うものと(new-)Seely categoryを使うものの見かけ上異なる2種類あって互いに同値(linear categoryの定義は、任意の有限積…

微妙にやる気を失っていた。そして、なんか前回の日記のリンク元見たら凄いことになってたので恐くなった。"Haskellがすでに失敗している10の理由"というのは、単なるパクリなので、意味はないし、本気でああいうことを思ってるわけでもないです。まあ、ネタ…