Vlad Patryshev

Lambda Calculus is conceptually equivalent to JavaScript, but is mostly unreadable and enigmatic. But we can write it all in JavaScript, and then the beautiful ideas of this calculus just shine right into our eyes. Let's enjoy the beauty, as it can be expressed so simply.

Lambda Calculus is a foundation of computing theory. It is known to be equivalent to Turing machines (which we are not going to build in this talk.) It's the mother lode of many foundational ideas, while it consists of just an idea of functions and functions applications.