Well, a "solution" is a typechecker-as-lint, something like mypy[0]. I think it's also for this "pluggability" (it's an external program, not the interpreter, s

Well, a "solution" is a typechecker-as-lint, something like mypy[0]. I think it's also for this "pluggability" (it's an external program, not the interpreter, so you can freely choose what to run) that GvR proposed it's usage in the python devel ml[1] [0] http://www.mypy-lang.org/ http://www.mypy-lang.org/ [1] https://mail.python.org/pipermail/python-ideas/2014-August/028618.html https://mail.python.org/pipermail/python-ideas/2014-August/0...