[airesQ]

Love Python, but gosh, the lack of type checking. It might not seem like a problem with small applications, but it makes navigation and refactoring of large codebases much harder than it needs to be.

Yes there are type annotations, but they are just that at the moment, annotations. There isn't, as far as I know, a good type checker, or IDE that makes good use of them.

Ironically, an extended version of this transpiler could potentially be used to convert annotated python to Typescript. And poof! Proper type-checking in Python.

[dragonwriter]

> Yes there are type annotations, but they are just that at the moment, annotations. There isn't, as far as I know, a good type checker

Mypy is a good type checker.