FRESH
Hacker News
Home
Abstract Interpretation in the Toy Optimizer
43 points by ChadNauseam
by mccoyb
0 subcomment
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!
by norir
5 subcomments
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.
Hacker News Hacker News Hacker News