# Lambda Calculus: The Foundation of Functional Programming

Get familiar with the basics of lambda calculus, the foundation of all functional programming languages.

Functional programming is based on a theoretical foundation called lambda calculus (also written as $\lambda$-calculus) , invented by Alonzo Church. The easiest way to understand lambda calculus is to think of it as an idealized bare-bones functional programming language. In other words, take OCaml or any similar functional programming language and strip down all features that do not contribute to the ability to do functional programming. What remains is essentially lambda calculus.

Get hands-on with 1200+ tech skills courses.