3 ms·

> syntax for type annotations and two mature type checkers (mypy and pyright) I would throw Pyre in there too