<div dir="ltr"><div>I find it hard to care a great deal about this, but I appreciate all the effort you and others have gone to to try to find the right solution. +0.5</div><div><br></div><div>Cheers</div><div>Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 15 Mar 2022 at 15:35, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</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">Dear Commitee!<br>
<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/477" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/477</a><br>
<a href="https://github.com/kindaro/ghc-proposals/blob/unicode-ellipsis/proposals/477-unicode-ellipsis.md" rel="noreferrer" target="_blank">https://github.com/kindaro/ghc-proposals/blob/unicode-ellipsis/proposals/477-unicode-ellipsis.md</a><br>
<br>
It turns out this simple change isn’t so simple after all. Maybe just<br>
Wadler’s law again… Anyways, it seems all arguments have been brought<br>
before, and it’s up to us to make a decision. A concise summary could<br>
be:<br>
<br>
Ignat suggests that under -XUnicodeSyntax, the `…` symbol can be used<br>
instead of `..` (e.g. import Prelude (Maybe(…)), [1…10]). This is<br>
roughly a very reasonable thing to do under -XUnicodeSyntax, at least<br>
for the former use, where `..` clearly is an ellipsised omission.<br>
<br>
The wrinkle is the range syntax: Vlad researched that there the two-dot<br>
syntax has historic precendent going back to Knuth and is used in other<br>
languages, and that it is _not_ just a bad ASCII approximation of a<br>
three dot … ellipsis, but really it’s own symbol, and pushed back<br>
because of that. He does not contest the use of … in export/import<br>
statements, though.<br>
<br>
A possible rebuttal is that despite the existence of a two-dot-range<br>
notation in some contexts, it is not _that_ universal, and it is still<br>
a form of omission for which an ellipsis (…) is a semantically suitable<br>
symbol.<br>
<br>
Pragmatically, I’d argue it would be a bad idea to allow … instead of<br>
.. only in import/export lists, but not range syntax.<br>
<br>
So my recommendation is as before (but maybe a bit more weakly): Don’t<br>
let perfect get in the way of good and accept the proposal, despite the<br>
history aspects of the [1..10] syntax, to improve -XUnicodeSyntax for<br>
the Unicode fans out there, and keeping the mapping between Unicode<br>
syntax and ASCII syntax in Haskell one-to-one.<br>
<br>
Vlad said on Github he is still opposed, but more weakly. The existence<br>
of this surprisingly long discussion may be an indication that this<br>
feature is not worth it.<br>
<br>
To avoid an out-of-proportion discussion (for a change of that relative<br>
now implication), I suggest to simply vote.<br>
<br>
I have seen +1 from Arnaud, Richard, and SPJ, and a -1 from Vlad. Let<br>
me know if any of you changed their mind, and the others: let me know<br>
which way you are leaning.<br>
<br>
Cheers,<br>
Joachim<br>
<br>
<br>
<br>
<br>
<br>
<br>
<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>