A Lambda Calculus Reducer(tool)

Question

基本功能:  
  The reducer expects a lambda expression. It echos back the way the expression was parsed, and then proceeds to print reductions until it finds a normal form. Here is a trace of an argument applied to an identity function:
具体效果:
fuqiang@fuqiang-laptop:~/函数式编程$ runhaskell reducer.hs
> (d.d)a
((d.d) a)
a
> (a.b.c a b)i
((a.(b.((c a) b))) i)
(b.((c i) b))
> (s.s)
(s.s)
>

小工具页面

作者页面:

[ 本帖最后由 fuqiang_huang 于 2008-9-12 15:33 编辑 ]

Answer 1

Writing A Lisp Interpreter In Haskell
http://www.defmacro.org/ramblings/lisp-in-haskell.html

[ 本帖最后由 fuqiang_huang 于 2008-9-12 15:48 编辑 ]