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 …