Comment by Xixi
1 day ago
Static types are not _that_ useful to catch bugs, if only because type related bugs tend to surface very quickly, especially in strongly typed language like Python. So a good CI suite is usually enough to catch them, but you do need good coverage. Even if they make it to prod, they won't survive long...
Static types are IMHO more useful for speed, maintenance/refactoring of large projects, and code completion in IDEs. But a codebase in production is unlikely to have much type related bugs...
> Even if they make it to prod, they won't survive long...
I don't think that's an acceptable way to treat your users. If something is trivial to prevent, do it.
Catching bugs in CI is orders of magnitude slower and more expensive than catching them as type errors while writing the code.