4 ms·
Static Type Checking is a test. Only difference is it looks nothing like your regular tests.
by arvindrajnaidu 5y ago
Static Type Checking is a test. Only difference is it looks nothing like your regular tests.
- igouy 5y agoThe difference is that type check shows a property is universally ∀ true across all of the code, while a run time test shows a property is ∃ true in this one part of the code.