<div dir="ltr"><div>Just because it's possible to disambiguate with enough context, doesn't mean it's a good idea to add it.</div><div><br></div><div>I've heard the idea of using keywords as identifiers in Haskell being proposed decades ago. It was a bad idea then, and it's a bad idea today.<br></div><div><br></div><div>This extension would make Haskell harder to read. To save one character, we now have to have more context when reading Haskell. It's harder for newcomers. It's harder for experienced users. It's harder for syntax highlighters.</div><div><br></div><div>What good reason could possibly exist to even entertain this thought?<br></div><div><br></div><div><div>Please, make Haskell code easier to read.</div><div><br></div></div><div></div><div>Ivan<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 26 Dec 2024 at 14:37, Anthony Clayden <<a href="mailto:anthony.d.clayden@gmail.com" target="_blank">anthony.d.clayden@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 27 Dec 2024 at 03:48, Brandon Allbery <<a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">The quote syntax has me vaguely wondering if there would be some interaction with OverloadedLabels, ...</div><br></blockquote><div><br></div><div>Yes, OverloadedLabels is the thin end of the wedge. `#type` is already supported without quotes, and that's used as justification for `.type`. (But Labels starting upper case or with embedded spaces, etc aren't supported.)</div><div><br></div><div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><p dir="auto">It's also something of a lexing/parsing disaster. ...</p><p style="color:rgb(102,102,102)"><br></p></blockquote><div><br></div><div>Indeed. Specifically all the developer tools are (I suspect) going to continue to treat `type` as a keyword (unless quoted). How does `blah.type` show in Visual Studio? </div><div><br></div><div>This proposal doesn't for example include modifying HLS for the new context-awareness around reserved ids.</div></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"></div></div></div></div>
</blockquote></div></div>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>