Haskell Is Useless
A short, sharp exchange where SPJ explains why starting from safety and reaching for usefulness is a fundamentally different journey than starting from usefulness and reaching for safety.
Escape from the Ivory Tower: The Haskell Journey
Simon Peyton Jones·2017·Churchill College, CambridgeSimon Peyton Jones traces Haskell from a research curiosity to an industrial language — and is candid about which ideas mattered and which ones didn't.
Effective Programs — 10 Years of Clojure
Rich Hickey·2017·Clojure ConjRich Hickey on what a decade of Clojure has taught him about the kinds of problems most production code is actually trying to solve — and why static type systems aren't the answer he keeps hearing about.
Propositions as Types
Philip Wadler·2015·Strange LoopPhilip Wadler on the Curry–Howard correspondence — the deep, surprising equivalence between mathematical proofs and computer programs.
Simple Made Easy
Rich Hickey·2011·Strange LoopRich Hickey emphasizes simplicity's virtues, and argues that we conflate easy with simple — at a real cost.
Are We There Yet?
Rich Hickey·2009·JVM Languages SummitHickey's foundational case against pervasive state and mutability, and a glimpse at the ideas that would later become Clojure's identity model.
Stop Writing Dead Programs
Jack Rusher·2022·Strange LoopJack Rusher argues that most of our languages are still, accidentally, designed around the punchcard — and shows what a living programming environment could look like instead.