Lambda calculus has three rules, and yet booleans, arithmetic, linked lists, and recursion fall out of them. This is an account of building an interpreter for it in Odin — and of the theory that ambushes you along the way.
Toby Jordan's Blog
Writings on technology, philosophy, and their intersection
Building a Lambda Calculus Interpreter in Odin Why I Choose Odin over Rust or C Rust solves real problems, but it doesn't know when to stop. Here is why I reach for Odin instead - and what we can learn from Scheme about what simplicity actually means.
- See all...