Faith, Evolution, and Programming Languages

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