weak-head-normal-form

0La chaleur

1Répondre

Réduire lambda-expressions WHNF

Je dois réduire le suivant lambda-expression dans WHNF, mais je ne suis pas tout à fait sûr de savoir comment faire: (λx y. x 3) (+ 4) (+ 6 7) Alors, comment puis-je le faire? Réduction d'appel par

haskell lazy-evaluation lambda-calculus weak-head-normal-form 2016-06-20

---