4 ms·
Abstract interpretation can do constant folding and branch elision. It changes the program instance. Type checking is about invariants over a specific program,
by JonChesterfield 2y 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.
- marcosdumay 2y agoMost languages have type polymorphism that do change the program itself. But I agree, neither of those examples are instances of it.