Faith, Evolution, and Programming Languages


#1

Faith, Evolution, and Programming Languages

An issue about Haskell would not be complete without a talk by Philip Wadler. This talk is hard to summarize, but what I like most about it is the explanation of the correspondences between strongly typed lambda calculus and logic. This is the kind of stuff that typed languages can get into.