4 ms·
There is, in my opinion, very little value in a type system that allows types to just be ignored. Or even a negative value, because it instills a false sense of
by bruce343434 3y ago
There is, in my opinion, very little value in a type system that allows types to just be ignored. Or even a negative value, because it instills a false sense of security, because it does not actually prevent any of the mistakes that a type system is supposed to prevent.
- tomn 3y agoIf it catches bugs before run-time, that's a benefit to me, in the same way that testing doesn't catch all bugs (and yes, can introduce a false sense of security), but most people still think it's a good idea. You obviously don't get the haskell experience, where if your program type checks it's probably correct, but the alternative (if, remember, you want a dynamically typed scripting language) is no type checking, which is definitely worse for some people.
- veber-alex 3y agopython types can be ignored if you choose to ignore them. Running pyright in CI/CD and in vscode has considerably improved the quality of my code, especially when refactoring.