3 ms·

Conversely, code can pass tests and not be correct, including in ways that would have been trivially caught by a type system. If you care about correctness, us

by kibwen 1y ago

Conversely, code can pass tests and not be correct, including in ways that would have been trivially caught by a type system. If you care about correctness, use both. Codebases written in static languages still use tests.

igouy 1y ago
Yes, we care about run time behavior.
- kibwen 1y ago
  Then you'll be happy to hear that static types do a better job of determining runtime behavior than tests do, for less time and effort.
  - igouy 1y ago
    Do you have a case studies which show that to be true?