Danvy の TDPE:Reification の例 (1)

例： reify (? ? ? ? ?) v

where v = ?a. ?b. ((?c. c) @ a)

v @ x = ?b. ((?c. c) @ x)

v @ x @ y = (?c. c) @ x = x

よって

reify (? ? ? ? ?) v = ?x. ?y. x

関数適用

? 抽象のsyntax constructor

シンボル

Previous slide

Next slide

Back to first slide

View graphic version