Faith, Evolution, and Programming Languages: from Haskell to Java

A session at Tech Mesh

Tuesday 4th December, 2012

10:35am to 11:25am (GMT)

Faith and evolution provide complementary--and sometimes conflicting--models of the world, and they also can model the adoption of programming languages. Adherents of competing paradigms, such as functional and object-oriented programming, often appear motivated by faith. Families of related languages, such as C, C++, Java, and C#, may arise from pressures of evolution. As designers of languages, adoption rates provide us with scientific data, but the belief that elegant designs are better is a matter of faith. This talk traces one concept, second-order quantification, from its inception in the symbolic logic of Frege through to the generic features introduced in Java 5, touching on aspects of faith and evolution. The remarkable correspondence between natural deduction and functional programming informed the design of type classes in Haskell. Generics in Java evolved directly from Haskell type classes, and are designed to support evolution from legacy code to generic code. Links, a successor to Haskell aimed at AJAX-style three-tier web applications, aims to reconcile some of the conflict between dynamic and static approaches to typing.

Talk objectives: Offer a historical perspective on the development of programming languages, considering the roles of faith and evolution.

Target audience: Engineers interested in the evolution of Programming Languages

About the speaker

This person is speaking at this event.
Philip Wadler

Next session in Virginia Woolf's

11:35am Pragmatism, Puritanism and Functional Programming by Ben Moseley

Sign in to add slides, notes or videos to this session

Tech Mesh

England England, London

4th6th December 2012

Tell your friends!


Time 10:35am11:25am GMT

Date Tue 4th December 2012


Virginia Woolf's, Hotel Russell

Short URL


View the schedule



See something wrong?

Report an issue with this session