Subject: Simple implementations of the lambda calculus
Newsgroups: gmane.comp.lang.haskell.cafe
Date: 2006-11-12 15:32:35 GMT (2 years, 33 weeks, 4 days, 19 hours and 34 minutes ago)
Some time ago I made a little experiment and implemented an interpreter for the lambda-calculus in Haskell. The only reason was that I wanted to try different ways of doing it. So I did it using simple substitution (i.e., as the textbooks describe it), unique identifiers, deBruijn indicies, and higher order abstract syntax. You can get the code from http://darcs.augustsson.net/Darcs/Lambda/ or just check out small paper at http://darcs.augustsson.net/Darcs/ Lambda/top.pdf -- Lennart