In Context – Rich Hickey (Clojure/Conj 2026) [video]

I say this half tongue in cheek, but maybe we need a new law like "Greenspun's Converse": Any sufficiently large dynamically typed codebase contains an ad hoc, informally-specified, gradually-adopted, optional implementation of half of Haskell’s type system.