On: Open-sourcing Sorbet: a fast, powerful type checke...

[dragonwriter]

> Unit tests are great, but they're a stupid way to catch typos.

Catching typos is an important part of what unit tests do with statically typed code, since typos result in value errors at least as often as type errors.

[tptacek → dragonwriter]

That’s obviously true, but it’s equally obvious that there’s a whole (large) class of typos that types eliminate.