<div dir="ltr">-1 for same reasons.</div><div class="gmail_extra"><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>-- <br><div class="gmail_signature" 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>
</div>