Maybe your IDE experience is different than mine, but a typed function will glad...

ghostwriter · on June 19, 2020

> but a typed function will gladly accepted an untyped var without complaining

this can be made prohibited by MyPy's --strict flag [1], and enforced with a mypy git pre-commit hook locally, and with a MyPy CI job.

j88439h84 · on June 19, 2020

That's a mypy setting

anentropic · on June 19, 2020

There is type inference in all of the Python type checkers, it's not necessarily an "untyped" var because it lacks an annotation.

Running a type checker in Python is a way to avoid runtime type errors, just like in compiled languages, but without a performance benefit.