3 ms·
Most comments here are asking guarantees from type checkers that actually belong to semantic analysis and static analysis in general but not necessarily related
by rsrsrs86 6y ago
Most comments here are asking guarantees from type checkers that actually belong to semantic analysis and static analysis in general but not necessarily related to type checking.
- lmm 6y agoType checking is not the only conceivable way of achieving those guarantees, but it's effective and at least somewhat understood by most working programmers, so why do something different for the sake of it?