Hacker News new | ask | show | jobs
by JonChesterfield 696 days ago
Abstract interpretation can do constant folding and branch elision. It changes the program instance. Type checking is about invariants over a specific program, not changing the program itself.
1 comments
marcosdumay 695 days ago
Most languages have type polymorphism that do change the program itself. But I agree, neither of those examples are instances of it.
link