Python talk Wed: Guido: Optional Static Typing for Python
Hal Murray
hmurray at megapathdsl.net
Tue Jun 5 19:45:43 UTC 2018
4:30 Pacific time. It will be on YouTube in a day or two.
https://web.stanford.edu/class/ee380/
https://ee380.stanford.edu/Abstracts/180606.html
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. This talk introduces the
type system we've adopted and the syntax used for type annotations, some tips
on how to get started with a large existing code base, and our experience
using the 'mypy' type checker at Dropbox. The entire system is open source,
and has also been adopted by other companies such as Lyft, Quora and Facebook.
--
These are my opinions. I hate spam.
More information about the devel
mailing list