Garde (informatique)
💰 Fortune / Salaire :
300 000 000,00 € *
En informatique, une garde est une expression de type booléen qui a pour valeur vrai si l'exécution du programme doit continuer dans la branche
en question.
Le terme est utilisé notamment dans les langages informatiques Haskell et Clean.
Dans Mathematica, les gardes sont appelés contraintes.
Les gardes sont un concept fondamental des commandes gardées, un langage de méthode formelles.
Les gardes peuvent être utilisées pour augmenter le filtrage par motif avec la possibilité de sauter un motif même si la structure passe le filtre.
Les expressions booléennes dans une instruction conditionnelle répondent aussi à la définition de garde mais elles sont
appelées conditions.
