<div dir="ltr">Hard -1, , i'm not seeing a useful high impact payoff <div><br></div><div>plus its more verbose and adhoc than pure and more confusing than (:[])</div><div><br></div><div>I actually initially thought this thread was about Type Singletons and or Proxy style apis using List as the term level form, it actually took me a few minutes of reading everyone's replies to disambiguate</div><div><br></div><div>i'm open to changing my mind later if i can convince myself, but -1 for now </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 12, 2019 at 3:53 PM Andrew Lelechenko <<a href="mailto:andrew.lelechenko@gmail.com">andrew.lelechenko@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 style="overflow-wrap: break-word;"><blockquote type="cite"><span style="color:rgb(0,0,0)">- `pure`: Polymorphic, works for any `Functor`.</span><br></blockquote><div><br></div>It is OK to have polymorphic folds and length, so what is wrong with pure? <div><br></div><div>Adding singleton to Data.List is a breaking change, when Data.Map.singleton was exported unqualified. </div><div>And there is no singleton in Data.List.NonEmpty as well. </div><div><br></div><div>-1 from me.</div><div><br></div><div>Best regards,</div><div>Andrew<br><div><br><blockquote type="cite"><div>On 12 Aug 2019, at 19:36, Brent Yorgey <<a href="mailto:byorgey@gmail.com" target="_blank">byorgey@gmail.com</a>> wrote:</div><br class="gmail-m_8181440604148337841Apple-interchange-newline"><div><div dir="auto">At the risk of completely derailing the conversation, I have always called this the "robot monkey operator".  I fail to see what is so ninja-like about it.<div dir="auto"><br></div><div dir="auto">Anyway, I think I am +1 on adding Data.List.singleton.</div><div dir="auto"><br></div><div dir="auto">-Brent</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 12, 2019, 12:35 PM Zemyla <<a href="mailto:zemyla@gmail.com" target="_blank">zemyla@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">I also like the ninja-robot operator, because it's visually<br>
interesting and easy to search for.<br>
<br>
Also, if you're importing several libraries which already use<br>
"singleton", then you have to use "List.singleton" every time, which<br>
is far uglier to me.<br>
<br>
On Mon, Aug 12, 2019 at 12:03 PM Herbert Valerio Riedel<br>
<<a href="mailto:hvriedel@gmail.com" rel="noreferrer" target="_blank">hvriedel@gmail.com</a>> wrote:<br>
><br>
> > - `(:[])`: Subjectively ugly.<br>
><br>
> I consider "subjectively ugly" to be a non-technical and thus really<br>
> weak argument to dismiss the list-idiomatic ninja-robot-operator (:[])<br>
> which also happens to be shorter than the proposed alias for it. I for<br>
> one don't see a significant benefit for adding a redundant synonym to<br>
> `Data.List` and are thus -1 on this.<br>
><br>
> > singleton :: a -> [a]<br>
> > singleton x = [x]<br>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org" rel="noreferrer" target="_blank">Libraries@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
_______________________________________________<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" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br></div></blockquote></div><br></div></div>_______________________________________________<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-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>