2 ms·

> Code can type check but not be correct. Depends on your type system. It can prove the correctness of certain properties depending on your language. Converse

> Code can type check but not be correct. Depends on your type system. It can prove the correctness of certain properties depending on your language. Conversely, unit tests can pass but your code might not be correct.

igouy 1y ago
Depends on your type system. Depends on your tests. Depends. Yet another under-specified commentary ;-)