普通に型を扱う場合は、Cartesin Closed Categoryでいいけど、dependent typeはどうするんだろうというのが気になったので、適当に検索したら On the Interpretation of Type Theory in Locally Cartesian Closed Categories に行き着いた。まあ、話はよく分…

いい加減、Monadic Semanticsの勉強を真面目にしようと思って、 An Implementation of Modular Monadic Semantics using Folds and Monadic Folds などを読んだら、Haskellが更にexoticなことができると知った newtype Fix f = In (f (Fix f)) data NatF t =…

"(f.).g"は、Haskellのcommon idiomらしい。 http://haskell.org/hawiki/PipeliningFunctions この程度は、慣れれば読めると思うけど、 ((flip(.) (.)) . (flip(.)))とかは無理っぽい。(.)コンビネータと普通の関数を合成するというのが、どうにもイメージで…