How to write four million lines of Python ... Visual Studio Code take advantage of type annotations to provide code completion, to highlight errors, and to support better go to definition ...