Hacker News Reader

Yes, because optional annotations are totally the same thing as changing the languages basic functionality.

Oof, that’s quite a take. Static type checkers by definition don’t change the language’s functionality; they merely check the types.