Produit cartésien II
Paires
Un constructeur de type * d'arité 2, un constructeur
de valeur : la virgule ,
N-uplets
Un constructeur de type d'arité n formé de (n-1) *, un
constructeur de valeur formé de (n-1) virgules ,
Définitions par cas: filtrage
#let fst = function (x,y) -> x;;
fst : 'a * 'b -> 'a = <fun>
#let snd = function (x,y) -> y;;
snd : 'a * 'b -> 'b = <fun>
#let acceder3 = function (x,y,z,t) -> z;;
acceder3 : 'a * 'b * 'c * 'd -> 'c =
<fun>
#let double_zero = function
(0,0) -> true
| (x,y) -> false;;
double_zero : int * int -> bool = <fun>