Portée statique
En portée
statique
(ou lexicale) la valeur d'un identificateur se trouve dans l'
environnement de définition
(
compilation
)
let x = 1
E
1
=
ë
(
x
=1)
<|
E
0
û
let f =
function y -> x + y
E
2
=
ë
(
f
=
F
)
<|
E
1
û
f 1
2
let x = `a`
E
3
=
ë
(
x
=
`a`
)
<|
E
2
û
f 1
2
