Danvy の TDPE:Reification の一般的な定義

reify : type ? value ? exp

reify ? v = v

reify (? ? ?) v = ?x. (reify ? (v @ (reflect ? x)))
(where x is fresh)

reflect : type ? exp ? value

reflect ? e = e

reflect (? ? ?) e = ?a. (reflect ? (e @ (reify ? a)))

Previous slide

Next slide

Back to first slide

View graphic version