Tuple enumeration

Tuple enumeration is a notation for creating instances of Tuple.

Usage

[Integer, Float, String] tuple = [1, 2.0, "three"];

Syntactically a tuple enumeration is an argument list enclosed within square brackets [ and ].

The empty tuple, [], has the value empty.

The type of a tuple enumeration is the Tuple type of the list of arguments it contains.

As well as the example above, consider the tuple constructed using a spread argument:

{Integer*} ints = {};
[Integer+] variadic = [1, *ints];