Closing Keynote
summary
Claim: Python lacks the tools to get fast, reliable results that come from referential transparency and parametricity. Shows how a monad bind/unit abstraction yields reusable operations like sequence, models IO as IO actions, and uses C# to build a pure random-value generator that actually works. Argues statically checked types make nontrivial abstractions practical, demonstrates equational reasoning theorems for free, and challenges Pythonists to explore total and typed languages to gain those concrete benefits.
AI-written summary · about
chapters (17)
- 0:00Introduction
- 1:10Goals
- 4:50Functional Programming
- 9:40What does monad mean
- 18:10Functional imperative programming
- 18:39Inherent state
- 23:38Haskell
- 27:40Function imperative programming
- 29:23Side effect free code
- 31:35Io strings
- 35:42Parametricity
- 44:05Youre brave
- 45:32Disjoint applications
- 50:25Quick check
- 51:10IoMonad
- 52:15Deferred
- 54:05Why
related talks
45mKeynote: Django Reimagined For The Age of AI with Marlene Mhangami
49mKeynote - Testing in Django
23mKeynote: Django the Dinosaur: A Story About A Web Framework
58mDay 2 Lightning Talks
49mLightning Talks (Tuesday) with Andrew Mshar
20mKeynote
41mLightning Talks Day 2
33mThe D is Silent: Challenges in Teaching Django