<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div><br></div><div>Am 10.04.2016 um 11:48 schrieb Антон Жилин <<a href="mailto:antonyzhilin@gmail.com">antonyzhilin@gmail.com</a>>:<br></div><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote"><blockquote type="cite">2016-04-10 2:27 GMT+03:00 Maximilian Hünenberger <span dir="ltr"><<a href="mailto:m.huenenberger@me.com" target="_blank">m.huenenberger@me.com</a>></span>:</blockquote></div></div></div></blockquote><div></div><blockquote type="cite"><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div></div></div></div></div></blockquote><blockquote type="cite"></blockquote></blockquote><blockquote type="cite"><div><br></div></blockquote><blockquote type="cite"><blockquote type="cite"></blockquote></blockquote><blockquote type="cite">[...]</blockquote><blockquote type="cite"><blockquote type="cite"><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><blockquote type="cite"></blockquote></div></div></div></div></blockquote></blockquote><blockquote type="cite"><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><blockquote type="cite"></blockquote></div></div></div></div></blockquote></blockquote></blockquote><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><blockquote type="cite"><br></blockquote></div></div></div></div><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div>The only minor syntax issue I have is that it is not immediately clear which operators belong to a precedence group. The former syntax with the "members(+, -)" solved this issue. However this has (currently) an extensibility problem:</div></div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div>If you define a new operator and it should belong to a precedencegroup where you have no access to its source (like Additive) then the whole argument about having operators in one place.</div></div></blockquote><div><br></div><div>My thoughts went as follows.</div><div>We should be able to add operators to existing groups, for example, defined in the Standard Library.</div><div>If so, then this this statement should belong to operator, not precedence group.</div><div>But we have to declare the operator anyway, so adding `: Additive` or something to the declaration does not cause huge code bloat. Especially considering operators are not defined very often.</div><div>Now, we have two ways to do the same thing. External declaration is necessary and not so bad. So, following a widely known principle, I remove `members`.</div></div></div></div></blockquote><blockquote type="cite"><br></blockquote><div><blockquote type="cite">[...]</blockquote></div><div><br></div><div>My issue can be solved by the IDE: It could display all operators which are contained in a precedencegroup with quick look or the new interface view in Xcode. However this excludes other IDEs which don't have such features.</div><div><br></div><div>But as I said it is only a minor issue.</div><div><br></div><div>Best regards</div><div>- Maximilian</div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div dir="auto"><br></div></div></div></div><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"></div></div></div>
</blockquote></body></html>