Oh, I am fine re-learning an equivalent of `uvx ruff` every few years, thats not too bad.

I don't understand how you can both appreciate the importance of good design, but at the same time claim that making good design is not a full time job.

The tool doesn't have a version number yet, its in preview. Chill.

>The fact that Python allows this has no bearing at all. To me having list[int | str] implicitly allowed by the typechecker seems like optimizing for beginner-level code.

Yes, lets base our tooling on your opinion rather what is allowed in python.

Can you share a little bit about what makes you form opinions when you are not even using the language? I think its fascinating how especially discussions about typing makes people shake their fists against a language they don't even use - and like your post make up some contrived example.

>I think that the goal there is to understand that even with the best typing tools, you will have troubles, unless you start by establishing good practices.

Like - what makes you think that python developers doesn't understand stuff about Python, when they are actively using the language as opposed to you?