TSa Thomas.Sandlass-at-barco.com |Perl 6| wrote:
Why the complicated sig? Note that the left sequential definition
enforces that ($a + $b) + $c dispatches to a version of + with the
return type of the lhs addition. That is you need lots of overloaded
versions of listfix +. Nonetheless I would like to define + and * to
be listfix and commutative, that is independent of order. Note that
this is orthogonal to the definition of evaluation order.
Because the function is specific for adding a bunch of Vectors, and
needs at least two.