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 f1, A2 f2, ... ) { }

The above function could be mapped into

 tuple 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.f1, xy.f2);

An easy way to destructure a tuple simplifies the syntax to

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