Précision : Deux notions de variable
Mathématiques A déf == 2sinx + 3x Informatique Variable en mathématiques La valeur de A dépend de la valeur de x : ◮ la valeur de x est fixée (même si elle peut être inconnue) ◮ si x varie, en fonction du temps t cela est explicité : x(t) Ex. : si x(t) = 5t2 − 1 alors A(t) = 2sin(5t2 − 1) + 15t2 −
Variable en informatique
◮ le temps t reste implicite (cadencement par l’horloge) ◮ t est discret ◮ x(t) dépend des valeurs en mémoire à l’instant précédent : x(t−1), y(t−1), etc.
En fait t est pratiquement inutilisable pour le raisonnement.
Variables *
Définition de variable : let Variable = association nom/valeur # let x = 53;; val x : int = 53 # let y = x – 11;; val y : int =?42
Explications ◮ let y = x – 11;; ◮ let y = 53 – 11;; ◮ let y = 42;; ◮ val y : int = 42
Redéfinition de variables *
Variable = nom donné à une valeur Variable 6= nom donné à une zone mémoire (en C et Java)
Exemple # let x = 53;; val x : int = 53 # let y = x – 11;; val y : int = 42 # let x = 2;; val x : int = 2 # y;; – : int =? -9 ou 4242
Important *
Casse # let eta = 0;; val eta : int = 0 # let eTa =1;; val eTa : int = 1 # eta = eTa;; – : bool = false