Cours programmation impérative, tutoriel & guide de travaux pratiques en pdf.

Les effets de bord

Une expression peut avoir des effets de bords : • modifier une zone memoire accessible par d’autres fonctions : – variables globale – pointeurs partages – reference passee en argument – etc.
• écrire ou lire des donn´ees sur – l’ecran – l’imprimante – std{in|out|err} – la webcam – etc.
Les effets de bord Une expression peut avoir des effets de bords :
effet de bord (ou effet) ≈ tout ce qui est suceptible de modifier le comportement futur de la fonction ou d’autres fonctions.

Exemple let r = ref 0;; let compteur = function () -> r :=!r + 1;!r;; # compteur ();; – : int = 1 # compteur ();; – : int = 2 # compteur ();; – : int = 3 # r := 1983; compteur ();; – : int = 1984
Les effets de bord Exemple let compteur = let r = ref 0 in function () -> r :=!r + 1;!r;; # compteur ();; – : int = 1 # compteur ();; – : int = 2 # compteur ();; – : int = 3 # compteur ();; – : int = 4
Dans un monde sans effet de bord… ou encore… dans un monde purement fonctionnel…
– on peut ´evaluer les fonctions (et leurs arguments) dans n’importe quel ordre : let a = f x + g x + h (z x) : le r´esultats sera toujours le mˆeme. – si f x est tr`es long `a calculer, le compilateur peut stocker le r´esultat pour le r´eutiliser plus tard.