We will cover:
- Runtime implementation of
typing.py and when it can be helpful- How to write mypy plugins?
- How to write type-safe code in Python using advanced techniques, such as: type level programming, dependent types, monads, phantom types and many more!
3 lectures + optional homework.
11 oct - 31 oct 2022
Language: ru
Register, while we still have open seats left!
https://education.borshev.com/python-typing