0

次のラムダ式を WHNF に縮小する必要がありますが、その方法がよくわかりません。

(λx y. x 3) (+ 4) (+ 6 7)

それで、どうすればいいですか？名前呼びの削減？

この表現(他の例)(λz x. (λx. x) z) xはWHNFにまだありますか?

4

1 に答える 1