Template Haskell版。型の縛りがないので、素直に相対位置で([id:yts:20041210#p1]では型をあわせるために絶対位置で変数の置換を行っている)自分自身を呼び出して再帰できる。 permArgs :: Int -> ExpQ permArgs n = [| \f -> map ($ f) $(pgen n) |] pgen …

Haddock, Doxygen, RDocといったツールはソース内の定義と、コメント中のマークアップからドキュメントを生成する。そのためそれらのツールは対象とする言語を少なくともパースできなければならない。しかし、コンパイラが持っているパーサをまた作るのは本…