关于我的lambda评估过程的疑问
让ADD = \ n m-> n INC m 让TWO = \ f x-> f(f x)
评估
ADD TWO TWO =d> (\n m -> n INC m) TWO TWO =b> (\m -> TWO INC m) TWO =b> TWO INC TWO =d> (\f x -> f(f x))(\n f x -> f(n f x))(\f x -> f(f x))
然后我认为下一步
=d> (\f x ->f(f x))(\f x -> f((\f x->f(f x)) f x))
但是它被赋予了无效的缩减。
任何人都可以给我我应该在哪里修复它 最终我需要达到此结果将得到“四个” 我该如何减少这一点