Variable libre
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
En programmation informatique une variable libre est une variable référencée dans une fonction et qui n'est pas une variable locale, ni un paramètre de cette fonction.
En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre est une notation qui spécifie à quelles places dans une expression mathématique une substitution peut avoir lieu. Cette idée est liée à celle de marque substitutive (un symbole qui sera plus tard remplacé par une chaîne littérale), ou de caractère joker qui tient lieu de symbole non spécifié.
[modifier] Source
- (en) Cet article est partiellement ou en totalité issu d’une traduction de l’article de Wikipédia en anglais intitulé « Free variable ».
