基本功能:
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)
>
来源：黄富强博客 作者：黄富强 2008-09-16 17:31:06.0 网友评论：0条 点击：47
基本功能:
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:
【发表评论 0条】
发表评论
