Fuzion Tuples

Tuples are basically unnamed product types, they can be implemented using pure syntactic sugar as follows:

  (f64, f64) f(f64 r, f64 a) => (r * cos(a), r * sin(a))

which defines a function f that converts polar coordinates radius r and angle a into Euclidean coordinates x and y without defining a particular type for this. Using a generic feature

  tuple(A1, A2 type, A1 f1, A2 f2, ... ) { }

The above function could be mapped into

 tuple f64 f64 (f(f64 r, f64 a) => tuple(r * cos(a), r * sin(a)))

Which can then be called as follows

  xy := f 1 (Math.pi / 4)
  drawPoint xy.values.1 xy.values.2

An easy way to destructure a tuple simplifies the syntax to

  (x, y) := f 1 (Math.pi / 4)
  drawPoint x y