Guido Van Rossum - The Rise of Static Type Checkers (via searchlore.ai)