No, not typing. Types.

Screencast of my invited keynote presentation from EuroPython 2021 wherein I exploit my reputation for live coding and systems programming to trick people into an impressionistic yarn about category theory and algebraic type systems. Some deer, space aliens, and ducks are involved.
Conference link: ep2021.europyt...
If you liked this, come take a course! dabeaz.com/cou....