"Isn't that exactly what this post is about, making a more readable lambda calculus interpreter?" Here is a less terse introduction: http://lambdaway.free.fr/

"Isn't that exactly what this post is about, making a more readable lambda calculus interpreter?" Here is a less terse introduction: http://lambdaway.free.fr/workshop/?view=helloworld http://lambdaway.free.fr/workshop/?view=helloworld, using a regexp based implementation of a "dialect" of lambda-calculus. Thanks for your interest.