<div dir="ltr">Hello,<div><br></div><div>while we are voting here, I kind of like this proposal, so +1 for me.</div><div><br></div><div>I understand that some of the examples look strange to Haskell old-timers but, as Joachim points out, the behavior is very consistent. Besides, the "Less Obvious Examples" were selected so that they are, well, less obvious. The common use cases (as in ticket #10843) seem quite appealing, at least to me, and not at all confusing. But, then, I also like the records-with-no-parens notation :-)</div><div><br></div><div>-Iavor<br><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 8, 2016 at 5:03 AM, Aloïs Cochard <span dir="ltr"><<a href="mailto:alois.cochard@gmail.com" target="_blank">alois.cochard@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">-1 for same reasons.</div><div class="gmail_extra"><div><div class="h5"><br><div class="gmail_quote">On 8 July 2016 at 14:00, Henrik Nilsson <span dir="ltr"><<a href="mailto:Henrik.Nilsson@nottingham.ac.uk" target="_blank">Henrik.Nilsson@nottingham.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
Joachim Breitner wrote:<br>
<br>
> Am Freitag, den 08.07.2016, 13:09 +0200 schrieb Sven Panne:<br>
> > I don't think so: <a href="https://ghc.haskell.org/trac/ghc" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc</a><br>
> /wiki/ArgumentDo#Bl<br>
> [...]<br>
> Where is the outer set of parenthesis coming from?<br>
><br>
> This is all not related to the ArgumentDo notation. Note that [...]<br>
<br>
The very fact that that experts can't easily agree on how a small<br>
Haskell fragment is parsed to me just confirms that Haskell already<br>
is a syntactically very cumbersome language.<br>
<br>
The present proposal just makes matters worse. For that reason<br>
alone, I don't find it compelling at all. (So -1 from me, then.)<br>
<br>
I will not repeat the many other strong arguments against that has been<br>
made. But I must say I don't find the use cases as documented<br>
on the associated web page compelling at all. Maybe there is a tacit<br>
desire to be able to pretend functions are keywords for various<br>
creative uses in supporting EDSLs and such. But for that to be truly<br>
useful, one need to support groups of related keywords. Something<br>
like Agda's mixfix syntax springs to mind. But this proposal does<br>
not come close, so the benefits are minimal and the drawbacks large.<br>
<br>
As a final point, the inherent asymmetry of the proposal (the<br>
last argument position is special as, for certain kinds of<br>
expressions, parentheses may be omitted there but not elsewhere)<br>
is also deeply unsettling.<br>
<br>
Best,<br>
<br>
/Henrik<br>
<br>
-- <br>
Henrik Nilsson<br>
School of Computer Science<br>
The University of Nottingham<br>
<a href="mailto:nhn@cs.nott.ac.uk" target="_blank">nhn@cs.nott.ac.uk</a><br>
<br>
<br>
<br>
<br>
This message and any attachment are intended solely for the addressee<br>
and may contain confidential information. If you have received this<br>
message in error, please send it back to me, and immediately delete it. <br>
Please do not use, copy or disclose the information contained in this<br>
message or in any attachment. Any views or opinions expressed by the<br>
author of this email do not necessarily reflect the views of the<br>
University of Nottingham.<br>
<br>
This message has been checked for viruses but the contents of an<br>
attachment may still contain software viruses which could damage your<br>
computer system, you are advised to perform your own checks. Email<br>
communications with the University of Nottingham may be monitored as<br>
permitted by UK legislation.<br>
<br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br>
</blockquote></div><br><br clear="all"><div><br></div></div></div><span class="HOEnZb"><font color="#888888">-- <br><div data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><b>Λ\oïs</b></div><div><div><a href="http://twitter.com/aloiscochard" target="_blank">http://twitter.com/aloiscochard</a></div><div><a href="http://github.com/aloiscochard" target="_blank">http://github.com/aloiscochard</a></div></div></div></div></div></div>
</font></span></div>
<br>_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br>
<br></blockquote></div><br></div>