<div dir="ltr">Unit# seems fine to me, its not gonna be in prelude, its a short name, <div><br></div><div>i dislike Only because i've only really seen it come up in in DB libraries :) </div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 18, 2018 at 1:36 PM, Andrew Martin <span dir="ltr"><<a href="mailto:andrew.thaddeus@gmail.com" target="_blank">andrew.thaddeus@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">I like Solo. I think it would be a very good name for this for the reasons you listed.</div><div class="gmail_extra"><div><div class="h5"><br><div class="gmail_quote">On Wed, Jan 17, 2018 at 9:41 PM, Theodore Lief Gannon <span dir="ltr"><<a href="mailto:tanuki@gmail.com" target="_blank">tanuki@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="auto"><div>I've seen Only in the wild, and it's probably my favorite of the initial suggestions for the same reasons as Ryan. Mono is my second pick from that list.</div><div dir="auto"><br></div><div dir="auto">Id is very clean, but I could see pedagogical issues arising from name confusion. Sing(le(ton)) is a terrible idea for the same reason.</div><div dir="auto"><br></div><div dir="auto">Venturing my own paint swatch: Solo fits in nicely with the established size-specific names (pair, triple, etc.) and has all the good traits: short, self-explanatory, nothing with a confusingly similar name (that I know of).<div><div class="m_-1656713904346159061h5"><br><div class="gmail_extra" dir="auto"><br><div class="gmail_quote">On Jan 17, 2018 4:35 PM, "Ryan Reich" <<a href="mailto:ryan.reich@gmail.com" target="_blank">ryan.reich@gmail.com</a>> wrote:<br type="attribution"><blockquote class="m_-1656713904346159061m_1766834944245832978quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div>Only has two virtues I can see easily: it's short (shorter than almost all the others), and it has the same feel as Maybe. </div><div dir="auto"><br></div><div dir="auto">There is also Id, the name of the mathematical function that this type (and corresponding data) constructor is. Less pithy but even less intrusive.<br><div class="gmail_extra" dir="auto"><br><div class="gmail_quote"><div class="m_-1656713904346159061m_1766834944245832978elided-text">On Jan 17, 2018 15:47, "Andrew Martin" <<a href="mailto:andrew.thaddeus@gmail.com" target="_blank">andrew.thaddeus@gmail.com</a>> wrote:<br type="attribution"></div><blockquote class="m_-1656713904346159061m_1766834944245832978m_6454173901285294509quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="m_-1656713904346159061m_1766834944245832978elided-text"><div dir="ltr">Required background information: <a href="https://ghc.haskell.org/trac/ghc/ticket/14673" target="_blank">https://ghc.haske<wbr>ll.org/trac/ghc/ticket/14673</a><div><br></div><div>GHC has a one-tuple (both a boxed variant and an unboxed variant). The unboxed variant currently must be fully applied whenever it is used. This is in stark contrast to all the other n-tuples (n > 1). It stems entirely from an issue of syntax. The solution decided on is to provide a normal prefix name for the 1-tuple. The name that GHC uses internally for this type is `Unit#` (there is also a boxed variant Unit). However, in the haskell community, the word "unit" already refers to the nullary tuple, not the unary tuple. So, we're bikeshedding the name.</div><div><br></div><div>Here are some possible options:</div><div><br></div><div>* Unary (as in unary tuple)</div><div>* Single (as in single, double, triple)</div><div>* Singleton (as is singleton, doubleton, tripleton)</div><div>* Only (<a href="https://hackage.haskell.org/package/Only-0.1/docs/Data-Tuple-Only.html" target="_blank">https://hackage.haskell.org/p<wbr>ackage/Only-0.1/docs/Data-Tupl<wbr>e-Only.html</a>)</div><div>* OneTuple (<a href="https://hackage.haskell.org/package/OneTuple-0.2.1/docs/Data-Tuple-OneTuple.html" target="_blank">https://hackage.haskell.org/p<wbr>ackage/OneTuple-0.2.1/docs/Dat<wbr>a-Tuple-OneTuple.html</a>)</div><div>* Uni (means "one" in latin or greek or something like that)</div><div>* Mono (means "one" in latin or greek or something like that)</div><div><br></div><div>I would appreciate any feedback on the suggestions I provided or any additional suggestions for the name. If you have concerns about the feature itself, comment on the GHC Trac ticket. I'd prefer to keep this thread focused on just the problem of coming up with a name.</div><font color="#888888"><div><br></div><div>-- <br><div class="m_-1656713904346159061m_1766834944245832978m_6454173901285294509m_886691622042058452gmail_signature">-Andrew Thaddeus Martin</div>
</div></font></div>
<br></div><div class="m_-1656713904346159061m_1766834944245832978elided-text">______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/libraries</a><br>
<br></div></blockquote></div><br></div></div></div>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div></div></div></div></div>
</blockquote></div><br><br clear="all"><div><br></div></div></div><span class="HOEnZb"><font color="#888888">-- <br><div class="m_-1656713904346159061gmail_signature" data-smartmail="gmail_signature">-Andrew Thaddeus Martin</div>
</font></span></div>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>