Comments by "Lepi Doptera" (@lepidoptera9337) on "Lambda Calculus - Computerphile" video.

  1. No, the actual point was to talk about computability and complexity and it does that fine. What it doesn't do is to give you recipes for programming real computers for real applications. This is applied mathematics, not actual engineering.
    1
  2. Yes, and you have never seen a purely functional program that does something practical in your entire life. Why? Because practically useful programs need state. They can not be written as pure functions.
    1
  3. So the lambda calculus can only encode pure functions. Real programs with state: hold my beer.
    1