Incrementalizing λ-calculi by static differentiation

Is this for real? This is almost like a ``Fundamental Theorem of λ-calculus.''

http://lambda-the-ultimate.org/node/5115

>>4
I've posted LtU myself a few times but I have only seen it posted once or twice by others. Maybe you're less surprised because you have seen the posts I made.