Discussion :

[coyotte507]

Salut encore,

je ne vois pas comment faire pour faire du pattern matching avec des n-uplets, toutes mes tentatives se sont soldées par des échecs.

Avec les liste, rien de plus simple, mais avec les n-uplets:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
match e with
(a*b*c) -> ...

Ca marche pas...

Merci de votre aide.

[Jedai]

Pour détruire une valeur (avec un pattern) on utilise presque la même syntaxe que pour le construire, donc un pattern pour un n-uplet ressemble à :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

(a, b, c) -> blabla

--
Jedaï

[coyotte507]

Merci!

Ca marche!

[LLB]

Et comme pour contruire (et contrairement à Haskell), les parenthèses sont optionnelles.

[coyotte507]

Merci, je ne savais pas.

[nonpoluant]

C'est en plus, mais ça peut souvent être pratique : le patern matching implicite.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
let f a b c = (a+b, b+c, a+c) in
let g a b c =
  let (x,y,_) = f a b c in
  (x,y)

Une fonction f qui renvoit un triplet, et dans la fonction g on appel la fonction f et on match x avec la premiere composante, on match y avec la seconde composante, et on laisse tomber la troisieme composante.
Ca marche aussi pour les listes etc.

Dans une moindre mesure on peut peut-être aussi pousser le vice à parler de patern matching implicite pour des cas comme ça

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
let x = (1, 2, 3) in
let f (a, b, _) = (a, b) in
f x

Ici on a une fonction qui prend un triplet, et on match a avec la premiere composante, b avec la seconde, et on laisse tomber la troisieme, et on renvoit un couple ne contenant que les deux premiere composante, et on aplique cette fonction au triplet x.

derniere exemple : une fonction qui prend une liste en argument dont il existe au moins 2 élément.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
let f e1::e2::tail = (e1, e2)
in f [1, 2, 3, 4]

voilà une fonction f qui match l'élément obligatoire avec e1, le second élément obligatoire avec e2, et le reste de la liste (peut être la liste vide) avec tail, et renvoit le couple des deux premiers éléments de la liste.