19 Tuple Syntax and Semantics¶

Syntax¶

(e1, e2) is a tuple

so is (e1, e2, e3, ...)
Order of components does matter, as tuples are accessed by position, not name

Semantics¶

If ei ==> vi, then (e1, ..., en) ==> (vi, ..., vn).

If ei : ti, then (e1, ..., en) : t1 * ... * tn.

In [1]:

type time = int * int * string;;
let t : time = (10, 10, "am");;

Out[1]:

type time = int * int * string

Out[1]:

val t : time = (10, 10, "am")

In [2]:

type point = float * float;;
let p : point = (2.1, 5.1);;

Out[2]:

type point = float * float

Out[2]:

val p : point = (2.1, 5.1)