Das ist bisher nur ein Session-Vorschlag.
Guido puts quite some effort into interaction with the mypy developers. Mypy is an experimental compile-time optional static type checker. It represents the effort to optionally add a more strict type system than duck typing.
In this talk, I will discuss the four PEPs related to gradual typing (PEP 3107, PEP 0483, PEP 0484, PEP 0526). We will consider the history and relation of them. I want to make a clear distinction between what is enforced by Python and what provides optional support. In the end, I want to get practical and introduce mypy to you.