Overview
The course delves into advanced concepts of static typing in Python, focusing on challenges encountered when type-checking large code bases with complex architectures. It covers tools such as generics, signature overloads, protocols, and custom mypy plug-ins, emphasizing the importance of accurately explaining code to the typechecker. The course also explores universal concepts applicable to any language, aiming to enhance code-writing skills through a deeper understanding of the type system. The intended audience for this course includes Python developers looking to elevate their static typing proficiency.
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