On Sun, Dec 06, 2020 at 11:25:32AM -0000, redrad...@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
_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-le...@python.org
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at
https://mail.python.org/archives/list/python-ideas@python.org/message/3WZUIPIYFF55VXHMEYAECJ63Q7577KZO/
Code of Conduct: http://python.org/psf/codeofconduct/
