実プログラミングでは全く訳立てて無い、というか普通のプログラム書いてないで適当に遊んでただけなので勝手な事書きますけど、書きにくさはあるものの、この柔軟さはC++のTemplate的意味よりmacro的な意味に寄ってるんじゃないかとかは思いました。

をTHで実装してみる的な。 printfの型無視バージョンの実装は普通こんな感じになります printf fmt = pr fmt "" where pr :: String -> String -> なんか色々入るの pr "" res = PRes res pr ('%':'d':cs) res = (\i -> pr cs (res ++ show (i::Int))) pr ('…

論文にのってたので、Quoted-Monad使わない方向性で書いた。 ていうか、[| \x -> x |]とかで書いて、$つけるとか意味分からんので。 それとdoc読まないでいきなり書いてるから未だにさーぱり分からん。 module Th_ZipN3 where import Language.Haskell.TH im…