On Sun, Dec 06, 2020 at 11:25:32AM -0000, redradist@gmail.com wrote:
It would be good to have direct support from python to run script in typed mode or not ... Python can support other type checker with some option `--type-checker=<path> or <name>` of module that will type-check
You already have direct support from python to run a type checker: python3 -m <some checker> script.py Your bash script is an excellent example of the Unix philosophy of chaining together tools to do what you want. Just alias "python" to your bash script. Or use an IDE or editor that supports it as a plugin. All the type-checkers that I listed are big, complex, specialised projects, with their own schedules for new development. Bringing them into the CPython code base would basically kill them. It would dump a huge amount of work on the CPython developers, increase the size of the Python standard installation for everybody whether they want to use a type-checker or not, and for no real benefit. If type-checking was small and easily maintained, like the -b and -W options, then it could be integrated with the interpreter. But it isn't. Keeping them as separate projects is the right strategy. -- Steve