Dot product

We use the square-bracket meta-operator to turn the infix operator + into a reducing list operator, and the guillemet meta-operator to vectorize the infix operator *. Length validation is automatic in this form.

sub infix:<·> { [+] @^a »*« @^b }

say (1, 3, 5)·(4, -2, 1);