Comment by RMPR

> syntax for type annotations and two mature type checkers (mypy and pyright)

I would throw Pyre in there too