とかがどうなってるのか分からない。確かちらっと見た時は、"そんなもんは冗長に入れなくても素直に書けるお"とかどっかに書いてた気がするんだけど晩ご飯とか食べながらそれをpaperから調べる事にして、取りあえずprintfが書けたので張ってみる -- このファ…

"A paper on Cayenne"を見ただけでは全然意味が分からなかったので、 http://www.cs.chalmers.se/~augustss/cayenne/interp.ps を読んだ。成る程ちょっとdependent typeの事が分かった。 上の論文ではCayenneを使ってinterpreterを作る流れを見せています。 …