Sublinear-space evaluation algorithms for attribute grammars という論文を見つける．1987年もの．attribute grammar というのは死に絶えた技術なんだろうか，それはさておき ROOT -> exp exp.env = φ exp -> exp + exp exp1.val = exp2.val + exp3.val e…

パーサジェネレータって， パーサジェネレータの持つ言語（文法定義) JavaとかCとかの一般的な言語 という2重の言語が必要だなー，と思っていたら，これがあったことを思い出す．Parsec はパーサジェネレータじゃないから確かに単一の言語（Haskell)で書ける…