Deforestation (2)
Simplify by ?-reduction & inlining
val habs' = HAbs
fun happ'(HAbs(f), e2) = f e2
| happ'(e1, e2) = HApp(e1, e2)
val hsym' = HSym
- conv
(habs'(fn x => happ'(habs'(fn y => y), x)));
> val it = Abs ("x1",Var "x1") : exp
Previous slide
Next slide
Back to first slide
View graphic version