いい加減、mapとかlengthとか簡単な例は飽きてきたが。http://citeseer.ist.psu.edu/hu96deriving.html を読んだ。まあ、読めば分かるので別に何も言うことはないというか、Warm Fusionと比べると超シンプルだな〜

なんかやっぱまだ混乱してるっぽい。Wadlerのノートの話なんだが、LFixとFixとGFixがようわからんとか。WadlerのノートにあるLFixとfold(という名前はFixに対して、使うので、ここではcataと書いておく)やらinの定義を、Haskellで素直に書くとこうなる。つい…

GHCには、type constructorの中置記法とかあるらしい http://haskell.org/ghc/docs/6.6/html/users_guide/type-extensions.html 別に、これそのものは、まあどうでもいいんだけど、:+:とか記号をよく考えるよなーとかいうのが。Arrow Notationの-GHCではない…