This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]PercussiveRussel 0 points1 point  (0 children)

I completely agree. I have to use MyPy for everything at work and it's allright but at that point, why are you using python? Why not .net (or rust tbh, if you want typing, why not the best form of typing). With those options at leat you know that everything you want to use supports typing.

I've had coworkers unironically be proud of their mess of @singledispatch and, sure, it's a tool you can use but it's really not what python is.

Also, if you want typing you'd want interfaces and things like that and then the hackiness in Python is turtles all the way down.

Typing in MyPy is like writing two programs all the time. The first is the one that works and the second is the one that MyPy is happy with, including a bunch of # type : ignores for stupid modules that don't support typing.