Static Typing - Beyond the Basics of def foo(x - int) - str

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.

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