Archive for August 19th, 2010

Evaluating Expressions, part 1 – Core Lambda Calculus

Tags: , , , , ,

One of the best ways to understand programming language constructs is to implement them. We will begin by implementing a simple, yet Turing-complete, functional expression language.  In subsequent articles, we will extend this language with additional features.  For now we will focus on just the “untyped” lambda calculus, augmented with constants. The grammar for our expression […]

Continue reading » 5 Comments