Faith, Evolution, and Programming Languages

Channel:

Google TechTalks

Subscribers:

349,000

Published on October 9, 2007 2:38:35 AM ● Video Link: https://www.youtube.com/watch?v=2t9q-936yxw

Duration: 1:06:58

7,636 views

23

Google Tech Talks
April 27, 2007

ABSTRACT

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