Comment by layer8

2 hours ago

I see. It’s not clear how it would interact with operator precedence, however. For example, what would

    a * . b + c . + d * e

do?

1 comment

layer8

Reply
radford-neal  1 hour ago

Yeah. I'm not sure how one would handle that. (Can't remember if Whitehead & Russell had any inherent operator precedence.)

So may be most useful if you don't have inherent precedence, as might be the case if you're not dealing with the standard math operators.

Alternatively, one might say the dots override inherent precedence. So

    a *. b*c+d*e

means

    a * (b*c+d*e)

with the inherent precedence disambiguating the right operand of *.