Learning Functional Programming in Go

Alonzo Church (1930, 1940)

Church read the Principa Mathematica and decided to improve upon it. Church applied formal mathematical logic to computer science using function abstraction and application using variable binding and substitution. In 1930, Church's released the first version of Lambda calculus, which formed the basis of what he called effectively computable functions.

In 1935, Kleene and Rosser proved that it was logically inconsistent. Church quickly responded with an improved version named simply typed Lambda calculus that fixed the issue of non-terminating programs with a typed system that defined the syntax of high order logic, ...