type system

This is an "Orphan" page. Its core content has not been shared: what you see below is a loose collection of pages and page snippets that mention this page, as well as snippets of this page that were quoted elsewhere.

In programming, you can catch some errors with a type system but the most important errors are the ones your type check and tests can't catch

Yes, you could catch some errors with a type system but the most important errors are the ones your type check and tests can't catch