Overview
Explore advanced static typing concepts in Python beyond basic function annotations in this EuroPython 2019 conference talk. Delve into challenges encountered when type-checking large codebases with complex architectures and metaprogramming. Learn to leverage powerful tools like generics, signature overloads, protocols, and custom mypy plug-ins to maximize type checking advantages. Discover how thinking in terms of the type system can improve code quality. Cover topics including crashing, config, imports, unit tests, annotations, packages, weighted averages, nominal typing, and overloading function signatures. Gain insights applicable to any programming language with static typing.
Syllabus
Intro
Static typing in Python
Outline
Crashing
Config
Optin
Imports
Optout
Unit tests
Annotations
Packages
Examples
Weighted average
Parameterizing weighted average
Nominal typing
Meta programming
overloading function signatures
takeaways
Taught by
EuroPython Conference