When and how to turn off email notifications and use the Hey! menu instead
In a busy account, it's better to turn off your email notifications and use the Hey! menu to see what's new. Here's how.
Over the last few years, static type checkers have become available for popular dynamic languages like PHP (Hack) and JavaScript (Flow and TypeScript), and have seen wide adoption. Two years ago, a provisional syntax for static type annotations was added to Python 3. However, static types in Python have yet to be widely adopted, because the tool for checking the type annotations, mypy, was not ready for production use… until now!