OCaml: Correspondance avec n'importe quel négatif

Question

Existe-t-il un moyen d'obtenir un modèle correspondant à ma valeur avec un nombre négatif? Peu importe le nombre négatif, je dois juste faire correspondre avec un négatif.

j'ai accompli ce que je veux avec ce code simple:

let y = if(n < 0) then 0 else n in 
match y with 
0 -> [] 
| _ -> [x] @ clone x (n - 1) 

Mais je veux éliminer cette déclaration if et juste obtenir pour vérifier un autre cas dans la déclaration match

Answer 1

Oui, utiliser un gardien:

match n with 
    _ when n < 0 -> [] 
    | _ -> [x] @ clone x (n - 1) 

Answer 2

Il est le mot-clé quand. Par tête (je ne peux pas tester maintenant)

let y = correspond à n avec | lorsque n < 0 -> 0 | 0 -> [] | _ -> [x] @ clone x (n - 1)

Cependant, même votre exemple ne devrait pas fonctionner. Comme d'un côté vous retournez un int, et de l'autre une liste.

Answer 3

Vous pouvez rendre votre code un peu plus propre comme ceci:

match n < 0 with 
| true -> [] 
| false -> [x] @ clone x (n - 1) 

serait encore mieux:

if n < 0 then [] else [x] @ clone x (n - 1) 

En général, si les instructions sont plus claires que les correspondances pour les tests logiques simples.

Pendant que nous y sommes, nous pourrions aussi bien utiliser :: en place de @:

if n < 0 then [] else x :: clone x (n - 1)