DevelopersTV

No, not typing. Types.

David Beazley — Aug 4, 2021 — conference

Why watch

A EuroPython 2021 keynote exploring the mathematical foundations of type systems through category theory, featuring live coding demonstrations of algebraic type constructions. Targeted at Python developers curious about the theory behind modern type systems and functional programming concepts.