Searchcaster

In reply to @gt

Thanks! I saw there are some new kids on the block https://github.com/microsoft/pyright and https://pyre-check.org/. Do you know if mypy is still the best?

In reply to @c

Only used Mypy professionally — worked really well at scale (Dropbox) and I do recall Guido still being involved. With that being said, any language related package from Microsoft I would respect, I am sure its well done.