Get the latest tech news
Programming with Lambda Calculus
An introduction into lambda calculus emphasizing the use of lambda calculus as a programming language. Lambda calculus is a fascinating topic for the following reasons.
To add the numbers n and m which are represented as church numerals we simply apply the successor function n times with start value m. Alonzo Church, the inventor of the lambda calculus, had been puzzled to find a proper definition of the predecessor function. Exercise: Define a binary tree in lambda calculus where all information is stored in the nodes and the leaves are empty.
Or read this on Hacker News