It totally agree on this point. It does not rules out the * notation, but there is not a single argument to say that it is better than +. As + is used by many languages, it should be the right choice.
On Monday, April 27, 2015 at 3:28:05 PM UTC+2, Toivo Henningsson wrote: > > Strings are do not form a ring, but just a monoid > <http://en.wikipedia.org/wiki/Monoid>. >
