13 points | by ChadNauseam 3 days ago ago
1 comments
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!
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!