<div style="white-space:pre-wrap">Let me give you theoretical basis for why I'm +0.5 on branching off binary operators but not these other ones. Félix is absolutely right that `a << b / c` mixes two things. It's not merely that they're in two "different" domains. It's that these two operators take the same values of the same type and operate on them in fundamentally disparate ways.<br><br>This is a bad way of phrasing it, I know--let me try to clarify: the operator `<<` operates on an integer as a fixed-length collection of bits; the operator `/` operates on an integer as a number, an element in the set of all integers. The practical consequence is that overflow behavior can be subtly different; the overflow behavior of << is 'obvious' if you're thinking about an integer as a fixed-length collection of bits but surprising if you think of it as an integer being multiplied by an exponent of two. Thus, it is best to separate operators that work on integers as a collection of bits from the other numeric operators.<br><br>In no other of your proposed branches do I find the same fundamental conflict.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Aug 2, 2016 at 3:14 PM, Anton Zhilin <span dir="ltr"><<a href="mailto:antonyzhilin@gmail.com" target="_blank">antonyzhilin@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span><div class="gmail_extra"><div class="gmail_quote">2016-08-02 23:06 GMT+03:00 Xiaodi Wu <span dir="ltr"><<a href="mailto:xiaodi.wu@gmail.com" target="_blank">xiaodi.wu@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm not sure how you're coming up with "domain areas". Ranges have numbers as bounds; those are typically computed by arithmetic.<br><br>Virtually the entire stdlib exists to support language features; all other facilities found in other languages' "standard library" are in Foundation.<br><br>As I mentioned, theoretical justifications have no sway with me. Show me how a real user error is averted by such a change. I see none here; thus, I disagree with the change.</blockquote></div><br></div></span><div class="gmail_extra">Okay, I'm creating a proposal for branching off binary operators, and after that I'll try to do a separate proposal for my crazy ideas :)</div></div>
</blockquote></div><br></div>