Guido Van Rossum - The MyPy Project and Static Typing (via searchlore.ai)