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