|
> I can't help but feel like if you want static typing, you're better off recognizing that python is not the right tool for the job. If the one and only thing you want is static typing, sure. That's, like, never the case in programming, so it's not really meaningful, though. In real world programming scenarios, you are always dealing with balancing multiple dimensional problems and “python, with some degree of static typing” is a reasonable component of the solution for lots of them. > Or said differently, adding mypy feels like trying to get out of a trade-off decision. No, considering python’s available static type checking (whether mypy, pyright, or whatever, or even a combination) is turning a big coarse trade-off decision into one with finer-grained options, not avoiding it. > For me, platform core values that stick out for python would be Approachability, Simplicity, and Velocity. I understand the posited value mypy brings to the table, but it feels in contention with the original core values that made python appealing to begin with. IME using Python’s typing, usually incrementally added, it's not particularly. In fact, it's an enhancer to velocity as the code base evolves. |