[qayxc]

> you don't have to add a compilation step to benefit from it: you just have to enable type checking in your IDE.

It's similar for JS, believe it or not. Type hints via jsdoc can be just as easily configured for type-checking in our IDE of choice.

Python type hints aren't mandatory either, so they're strictly opt-in and nothing stops users from ignoring them.

[steinuil]

I know, I've used jsdoc type hints and I don't like them very much. They're verbose, types and names are the wrong way around, there's about two or three different syntaxes for defining any one thing, you don't get any autoformatting (AFAIK)... I'm not a fan.