On Sun, 16 Aug 2020 06:09:17 -0500 Skip Montanaro <skip.montan...@gmail.com> wrote:
> > Typing is not required by > > Python. However, you may find the extra error-checking helpful... > > I haven't used type hints much, if at all, but my understanding is > that the "extra error-checking" of which you speak is gotten through > other static checkers, correct? Yes. > I know the syntax was developed with > the MyPy folks (http://mypy-lang.org/), but I'm not sure what other > tools currently make use of it. Any pointers? > I heard about the following (not tried all, though) - mypy (Dropbox) - pyre-check (Facebook) - pytype (Google) - pyright (Microsoft) -- Manfred -- https://mail.python.org/mailman/listinfo/python-list