Faith, Evolution, and Programming Languages
Written by Eric Normand. Published: August 22, 2012.
Eric Normand's Newsletter
Software design, functional programming, and software engineering practices
Over 5,000 subscribers
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).
