HASKELL PROGRAMMING FROM FIRST PRINCIPLES CHAPTER1. ALL YOU NEED IS LAMBDA 1.1 All You Need is Lambda lambda calculus: computation model, 1930s, Alonzo Church, formalizing a method, Turing machines