Regrettably, I have nothing valuable to add, but I wanted to call this out as absolutely beautiful. Specialize generic programs to a very specific execution con

Regrettably, I have nothing valuable to add, but I wanted to call this out as absolutely beautiful. Specialize generic programs to a very specific execution context, using abstract interpretation to inform the specialization. I can think of at least two super-hot applications of such techniques...