3 ms·
The point to using types is that they make static analyses more compositional. Types enforce invariants across module boundaries, without requiring the entire p
by catnaroek 11y ago
The point to using types is that they make static analyses more compositional. Types enforce invariants across module boundaries, without requiring the entire program to be checked in a single pass.
- pron 11y agoYes, but they may also lose information in the process... As usual, it's a tradeoff.