• [^] # Re: explications?

    Posté par . En réponse à la dépêche Sortie de Rust en version 0.3. Évalué à 2.

    Cette contrainte est exprimable en Perl 6, même si elle ne sera généralement vérifiée qu’à l’exécution.

    subset Nat of Int where 0 .. *;
sub factorielle(Nat $n) returns Nat {[*] 2 .. $n}
say factorielle(5); # → 120
say factorielle(-2);
# Constraint type check failed for parameter '$n'
# in sub factorielle at factorielle.pl:3
# in block <anon> at factorielle.pl:6