This web site exists to document my adventures in writing software emulators for old computer hardware. So far, I have completed (sort of) a Commodore PET emulation and am working on a Sinclair Spectrum emulation.
God created the natural numbers. All else is the work of man. Leopold Kronecker We’ve got lists and with lists we can do pretty much any data structure we like. However, in computing, we also need numbers. Usually, numbers are thought of as fairly basic entities with respect to computing, but, in the Lambda Calculus … Continue reading Numbers in The Lambda Calculus
“When preceded by its quotation yields falsehood” when preceded by its quotation yields falsehood. Willard Van Orman Quine Before we start, recursion is a tricky subject. I suggest you read this article before continuing. Also, you’re going to need at least version 1.3.1 of the lambda calculator to try out the examples. This version allows … Continue reading Lambda Calculus: Recursion
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
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