Tuple

A tuple is a container with a collection of inhabitants with the same or different term types. Its size is fixed, and it cannot be empty.

Constructor

Fig. 1: Tuple constructor

SMLScala

(true, "is", 1)

(true, "is", 1)

Fig. 2: Binding a tuple

SMLScala

val tuple_constructor = (true, "is", 1)

val tuple_constructor = (true, "is", 1)

Projection

Projection is an operator that retrieves one element from a tuple at a specific location.

Fig. 3: Tuple projection

SMLScala

val tuple_constructor = (true, "is", 1)
val projection = (#1 tuple_constructor)

val tuple_constructor = (true, "is", 1)
val projection = (tuple_constructor(1))