Abstract interpretation is also at the heart of Julia’s type inference algorithm (amongst other analyses that Julia performs)

A very useful framework, both practically and theoretically!

I don't want an optimizer that eliminates an unnecessary operation. I want a compiler that tells me that it is unnecessary so I can remove it.