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.

[coyotte507]

Merci!!

Je ne savais pas du tout qu'on pouvait directement distinguer les arguments d'une fonction en listes, n-uplets, etc.

Je pensais que dans certains cas on était obligé de faire:

Code :

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

1
2
3
let foo = function
    (a, b, c) -> ...
;;

Alors que grâce à toi je sais qu'on peut faire:

Code :

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

1
2
3
let foo (a, b, c) =
  ...
;;

J'ai aussi appris le pattern matching implicite, en effet dans certains cas je n'ai pas besoin de nommer tous les éléments d'un n-uplets.

Donc un grand merci pour ces informations (là je crois que je peux avancer vers la partie suivante en toute sécurité )

Merci à vous tous, grâce à vous l'apprentissage de ce langage est encore plus rapide et facile

[nonpoluant]

Moi aussi quand j'ai découvert ça, ça a changé ma vie. Avant je m'emmerdais à faire

Code :

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

1
2
3
4
5
 
let v = f x in
  let a = fst v
  and b = snd v in
    ...

au lieu de

Code :

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

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

[gasche]

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.

Attention cependant, cette fonction est incomplète, renvoie une exception quand on l'appelle avec des listes de moins de deux éléments, et à priori renvoie un warning à la compilation. C'est généralement considéré comme du "mauvais style" (même si pour ma part je ne trouve pas ça si vilain, d'autres gens pourraient ne pas trop apprécier).

Quand on fait un matching "incomplet" (qui peut échouer), il vaut sans doute mieux le préciser explicitement.