"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 variable … Continue reading Lambda Calculus: Recursion
Category: Uncategorized
Forth: Cleaning up the execute loop
In which I simplify the execution cycle Every word now has an execution token and most words are interpreted using the function execute(token:,wordStream:,index:, output:). There are still a couple of words that have to be executed outside of this due to their CompiledWord having an associated value. Thus we have this ugly bit of code: … Continue reading Forth: Cleaning up the execute loop