[Haskell-cafe] Combinatory logic interpreter?

Robert Dockins robdockins at fastmail.fm
Fri Feb 10 11:33:39 EST 2006


On Feb 10, 2006, at 11:09 AM, Colin Paul Adams wrote:
> Is there any Haskell code around that can interpret combinatory  
> logic expressions?

Humm.  That's kind of a broad question.  I've written a shell for  
interpreting the pure untyped lambda calculus which has definitions  
for Turner's Combinators.  You can get the darcs repo here:

http://www.eecs.tufts.edu/~rdocki01/lambda/

you will also need

http://www.eecs.tufts.edu/~rdocki01/shell/
http://www.eecs.tufts.edu/~rdocki01/shell-readline/


Or... you can play with it on the haskell IRC channel by using the  
'@lam' lambdabot command.


Its hard to know if this will meet your needs without knowing more.   
What are you trying to do?


Rob Dockins

Speak softly and drive a Sherman tank.
Laugh hard; it's a long way to the bank.
           -- TMBG



More information about the Haskell-Cafe mailing list