garde

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 brancheen question.Le terme est utilisé notamment dans les langages informatiques Haskell et .Dans Mathematica, les gardes sont appelés contraintes.Les gardes sont un concept fondamental des , 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 répondent aussi à la définition de garde mais elles sont appelées conditions. Dans l'exemple suivant en langage Haskell, les gardes apparaissent entre chaque paire de "|" et "=" : f x | x > 0 = 1 | otherwise = 0 C'est similaire à la notation mathématique suivante : Dans la notation Haskell les gardes sont dans les clauses « si » et « sinon ». S'il y a des gardes parallèles, comme dans l'exemple ci-dessous, elles sont tentées dans l'ordre de la première à la dernière. La premièrebranche qui passe la garde est choisie. Les gardes d'une liste de cas sont typiquement parallèles.Mais, dans une compréhension de liste en Haskell, les gardes sont en série. Si l'une d'elles échoue, la liste d'éléments n'est pas produite.Cela équivaut à combiner les différentes gardes avec un et logique, sauf qu'il peut y avoir d'autres clausesde compréhension de liste parmi les gardes.