Faith, Evolution, and Programming Languages

Sign up for weekly Clojure tips, software design, and a Clojure coding challenge.

Reference: Faith, Evolution, and Programming Languages

Philip Wadler explains the relationship between logic and programming, why everything is discovered twice, and what a programming language in an alternate universe might look like. (Hint: it's lambda calculus).