Syntax question

[Manfred Lotz]

On Sun, 16 Aug 2020 06:09:17 -0500
Skip Montanaro <skip.montanaro at 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