“At our scale—millions of lines of Python—the dynamic typing in Python ... Checking such a large amount of code will obviously take a lot of time and Lehtosalo says “an immediate obstacle ...