Type-Directed PE
古典的な PE (Syntax-Directed PE)
(expression)p と s の式 (expression) peval? pevalps の式
Type-Directed PE [Danvy 96]
p と s の式 eval + type inference? eval + type inference?d. p(s, d) の値 (value) と型 reify? reifyps の式
素朴な方法だとinterpretive overheadが大きく遅い