Static type checker for the Python language by Microsoft