Tuples with more than two elements

[rengolin]

Tuples are restricted to two elements, not only by the operation definition of arguments (LHS, RHS) but also the accessors (first, second), like C++ std::pair. However, in most languages (including C++), tuples can have more than two arguments (and accessed via std::get() for example).

I'm wondering why the restriction, and if it's a preliminary one, perhaps making the decision now would avoid having to reexamine all the assumptions later on.

[rengolin]

Given that creating the second element of the tuple is reapplying the rise.tuple operation on the first tuple + the second argument, we could chain that indefinitely and therefore get away with the restriction.

The get method would have an extra argument, the index of the element to be retrieved.