>Uptake for mypy type annotations alone has been pretty slow. Because they're annotations with bad checkers. They're mostly helpful as documentation. TypeScri

>Uptake for mypy type annotations alone has been pretty slow. Because they're annotations with bad checkers. They're mostly helpful as documentation. TypeScript checking is on a whole different level.