2 ms·
> It's not checked, it's not required, It is both of those if you use a typechecker, which is the whole reason it exists (in fact, the first popular typechecke
by dragonwriter 11mo ago
> It's not checked, it's not required,
It is both of those if you use a typechecker, which is the whole reason it exists (in fact, the first popular typechecker existed before the annotation syntax using type comments; type annotations were developed specifically so that it could be accommodated in the language rather than becoming its own separate language.)
- echelon 11mo agoThat's the problem! The code should not run if the types are wrong. Having an external tool is an antipattern. Having to rely on process for validity is a recipe for bad. We already know how the greater python community has been with requirements.txt and dependencies. I've spent days fixing this garbage. It's a tooling problem. Good tools make good habits part of the automation and stop you from having to think about it.