Lists in the Lambda Calculus

Some Lambda Calculator Enhancements In version 1.2.1 of the Lambda Calculator, I have added the concept of a meta command. A meta command starts with a / (forward slash) and is used for doing things outside of the Lambda Calculus (forward slash is sort of the opposite of backslash, which is my alternate way of … Continue reading Lists in the Lambda Calculus

Higher Level Concepts In The Lambda Calculus

Some Syntactic Sugar We are going to be talking about some pretty high level concepts in this post, like true and false and maybe even the natural numbers (although that might be too high level and need to be left to the next post). You've probably realised that the Lambda Calculus has no means of … Continue reading Higher Level Concepts In The Lambda Calculus

Computation With The World’s Smallest Programming Language

Update: The latest version of the lambda calculator has line editing and a command history. It's more convenient than the version linked in the blog and is tagged 0.1.0. Note to the reader: much of this post is based on an article I found on the web called Lambda Calculus (part I). That article covers … Continue reading Computation With The World’s Smallest Programming Language

The World’s Smallest Programming Language

Update: The latest version of the lambda calculator has line editing and a command history. It's more convenient than the version linked in the blog and is tagged 0.1.0. Introduction The world's smallest programming language is probably the Lambda Calculus. The Lambda Calculus was invented by Alonzo Church in the 1930's as a means of … Continue reading The World’s Smallest Programming Language