EE380: Computer Systems Colloquium Seminar
Optional Static Typing for Python
Speaker: Guido van Rossum, Dropbox & Python Software Foundation
Python is a dynamically typed language, and some of its appeal derives from this. Nevertheless, especially for large code bases, it would be nice if a compiler could find type errors before the code is even run. Optional static type checking promises exactly this, and over the past four years we have successfully introduced this feature into Python 3….