<div dir="auto">I had the same reaction as Taylor, since Helmut referred to the singleton proposal as "pointless" in the thread on "on". Then I stopped to wonder if there was a mixup. "Point-free" style, which cons and singleton both facilitate, is sometimes called "pointless" style, but usually only as a joke. It's wordplay.<div dir="auto"><br></div><div dir="auto">Since Helmut writes perfectly good English, I had assumed the wordplay was intentional, which made me suspicious of the nature of this proposal. But from over here on my little digital device, it is hard to know for sure.</div><div dir="auto"><br></div><div dir="auto">Either way, I think the plan to make Data.List qualified-by-default is great, and having a uniform abstraction over list-like things is also good. I look forward to seeing more use of backpack to take advantage of such abstractions.</div><div dir="auto"><br></div><div dir="auto"><div dir="auto">I suggest that the haddocks for Data.List.cons clearly state that it is just a synonym for the list constructor, so we get a built-in "teachable moment".</div><div dir="auto"><br style="font-family:sans-serif"></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 11 Sep 2019, 17.33 Helmut Schmidt, <<a href="mailto:helmut.schmidt.4711@gmail.com" target="_blank" rel="noreferrer">helmut.schmidt.4711@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Taylor,<br></div><div><br></div><div>Is it really necessary for you to be so rude? I can assure you that my proposal has been made in the same good faith as your proposal which inspired mine.</div><div><br></div><div>Besides that unnecessary snark you do make an excellent point regarding the poor discoverability of the list constructor which I imagine must cause a lot of confusion among newcomers.Thank you for keeping an open mind!<br></div><div><br></div><div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Mi., 11. Sept. 2019 um 11:21 Uhr schrieb Taylor Fausak <<a href="mailto:taylor@fausak.me" rel="noreferrer noreferrer" target="_blank">taylor@fausak.me</a>>:<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 suspect this proposal was not made in good faith. I feel like it was meant to make fun of my list singleton proposal. <br>
<br>
In spite of that, I am in favor of this proposal. One of the (very minor!) problems with lists in Haskell is that they can’t be documented with Haddock because they’re part of the syntax. For example, if you search Hoogle for `(:)` or `a -> [a] -> [a]` you won’t find the venerable list constructor. You will find `cons` from the `extra` package, which I think suggests that this proposal is a good idea.<br>
<br>
+1<br>
<br>
> On Sep 11, 2019, at 4:13 AM, Oliver Charles <<a href="mailto:ollie@ocharles.org.uk" rel="noreferrer noreferrer" target="_blank">ollie@ocharles.org.uk</a>> wrote:<br>
> <br>
> On Wed, Sep 11, 2019 at 7:36 AM Helmut Schmidt<br>
> <<a href="mailto:helmut.schmidt.4711@gmail.com" rel="noreferrer noreferrer" target="_blank">helmut.schmidt.4711@gmail.com</a>> wrote:<br>
> <br>
>> I can't be the only that wants this function, right?<br>
> <br>
> You're not the only one! I would also like this function. In fact,<br>
> only yesterday I found myself writing<br>
> <br>
>  ( x : ) <$> recurse xs<br>
> <br>
> I would have preferred<br>
> <br>
>  cons x <$> recurse xs<br>
> <br>
> +1 to adding  cons :: x -> [x] -> [x]  to  Data.List.<br>
> <br>
> Ollie<br>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br>
</blockquote></div></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>