Languages Without Abstraction

from blog NULL BITMAP by Justin Jaffray, | ↗ original
Implementing something like a compiler, there is the understanding that we want different representations of a program for different purposes. This is why we have stuff like a “control-flow graph” or “SSA form.” Some kinds of analyses and transformations are easier in more abstract representations that have thrown away certain information. But...