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).