Learn how to write any program without using numbers, operators, loops, conditionals, or memory -- nothing but functions applied to other functions applied to other functions. An introduction to the untyped lambda calculus, a human-readable programming language with only one keyword. Starts from first principles and builds Church encodings and the fixed-point Y combinator.

A speedy intro to untyped lambda calculus; or, a human-readable programming language in only two symbols. Learn how to reconstruct traditional programming constructs (numbers, arithmetic, conditionals, loops, and arrays) using nothing but anonymous function definitions and calls.