4 ms·
Why is it that mathematicians are so comfortable with using ordering to encode semantics? Evident from this thread it seems many developer recognize the need t
by CuriousSkeptic 8y ago
Why is it that mathematicians are so comfortable with using ordering to encode semantics?
Evident from this thread it seems many developer recognize the need to use proper labels to simplify reasoning. Doesn’t mathematicians have similar desires?
- improbable22 8y agoWell, many different notations are convenient in different contexts. The compiler they target is a bit more flexible than developers', so they are free to just describe what they are doing on page 1. Human languages face the same trade-off: in some word order is very important, in others less so, but they need to compensate with some kind of case labels.