Questions et réponses pour le guard-clause :

Dans les définitions de la fonction par clauses avec assortiment de motifs, les gardes sont des expressions booléennes qui augmentent le motif correspondant à la possibilité de sauter un motif, même si une structure d'arguments correspond au motif.

9
votes
Existe-t-il? Comment sont-ils mis en œuvre? the CorOUTINGER Prédicats de S ...