Hacker News Reader

I don't think people select Python for it's performance ;)

But the type-checking could be a command line parameter, used only during development.

It already can be used for development, IDEs such as PyCharm perform quite effective live type checking based on type hints.

Note that PyCharm and mypy's semantics differ in some key ways: