Online TDPE (3)
Extend all value destructors to treat residual code [Sumii & Kobayashi 99]
f @' x:? = f @ x (if f is a function)
f @' x:? = f @ ?? x (if f is residual code)
? Reflection becomes unnecessary!
Previous slide
Next slide
Back to first slide
View graphic version