Hot take: If you think for a moment about the feature name, "type hints", many (all) of the objections the author has become clear. It is not called "static ty

Hot take: If you think for a moment about the feature name, "type hints", many (all) of the objections the author has become clear. It is not called "static typing". It's called "type hinting". Based largely on the name, I wouldn't expect it to error at runtime if you tell me 'hello' is an int. That's just a type hint. I WOULD expect a static analysis to flag is, and mypy indeed does.