The history of functional programming is nothing short of fascinating. Functional programming languages are based on an elegant yet simple mathematical foundation, Lambda calculus.
"To understand a science, it is necessary to know its history." - Auguste Comte
Let's look at the discoveries that led up to Lambda calculus.
Logic came from ancient Greeks such as Aristotle and Euclid. Prior to Boole, logic was literally in Greek; it was expressed in the form of language. Boole was the first to translate logic into algebraic symbols:
- true = 1
- false = 0
- and = product (AxB)
- or = sum(A+B)