Portée dynamique
-
En portée dynamique la valeur d'un identificateur se trouve dans
l'environnement global (interprétation, langages de shell)
| let x = 1 |
E=ë(x=1)<|Eû |
| let f = |
| function y -> x + y |
E=ë(f=F)<|Eû |
| f 1 |
2 |
| let x = 2 |
E=ë(x=2)<|Eû |
| f 1 |
3 |
La portée dynamique n'est pas compatible avec le typage statique.