Online TDPE (1)
Extend some primitive operators to treat residual code [Danvy 97]
x +' y = x + y (if x and y are integers)
x +' y = ?int x + ?int y (if x or y is residual code)
For example:
?int?int (?n. 1 +' 2 +' n)= ?x. (?n. 1 +' 2 +' n) @ x= ?x. 1 +' 2 +' x= ?x. 3 +' x= ?x. 3 + x