Sat May 1 15:18:02 EDT 2010

Abstract Interpretation & Polymorphism

Why is this such a great pair?  Probably about the "interpretation"
part: polymorphism is actually only about context-dependent
interpretations of the same form.

Maybe the slogan should be: type polymorphism is a perfect "vat" for
containing both direct computations and staged ones.  The staging is
really the big idea; polymorphism makes it easier to express as values
can be related formally to programs using structure-preserving maps.

I still wonder why this feels trivial and revolutionary at the same