Microsoft has unveiled Pyright, an open source static-type-checking system for Python that aims to be faster than existing type-checking solutions for Python such as ...