|
> Regarding the strings as monoid, with the addition as concatenation, > is nowhere near wild, it's wildly normal ;-) Sure. But that does not mean you *need* to use "+" to represent its operation. AWK for instance uses nothing (i.e., juxtaposition), which is the popular practice in formal languages.