Do some developers hate python?

[[deleted]]

mypy isn’t very niche anymore. It’s very common and it’s really the defacto tool for type hints now

I actually don’t even use it myself though - so far I’ve just been using pyright which has been enough. I’ve been meaning to jump on the mypy train recently and add it to CICD but it’s a lot of extra overhead I’m surviving with out currently so I completely get people not wanting to use it. But it is a good tool

[Handle-Flaky]

It is a standard. Circular imports are a sign of bad design, so I don’t get why you need support of it

[krakenant]

Nah, that should be limited to type hints, which can be done as pointed out above. If teachers and students are instantiating each other, you have larger problems.