我必须将以下lambda表达式减少为WHNF,但我不太清楚如何做到这一点:
(?x y. x 3) (+ 4) (+ 6 7)
那么,我该怎么做？呼叫减少名称？
这个表达式(其他例子)(?z x. (?x. x) z) x在WHNF中了吗？
(?z x. (?x. x) z) x
haskell lambda-calculus lazy-evaluation weak-head-normal-form
haskell ×1
lambda-calculus ×1
lazy-evaluation ×1
weak-head-normal-form ×1