Programmation Fonctionnelle Avancée 4 : Évaluation paresseuse

I
I
I
I
I
I
I
I
I∗ ∗
−−
∗ ∗
− −

I
I
I
I
λ
I
I
I
λ
I
− ∗
∗ ∗
∗ ∗

I
arg . . . argn. . .
arg . . .
argn
I
∗ ∗
−
∗ ∗
−
I
I
I
∗ ∗
−
∗ ∗
−

I
I
If
f(⊥) = ⊥ ⊥
I
I
I
I
I
I
I
I
I
I
I
− − ∗ −
I
I

I
I
I
e e . . .
ei
i
− − ∗ −
∗
−
−
−
− −
− −
I
I
I
I