<div dir="ltr"><div dir="ltr"></div><div>Andreas, you seem to be mistaken there'd only be one container API? But there's several container APIs besides "Data.Set" which provide some collection of elements!<br></div><div><br></div><div><a href="https://hackage.haskell.org/package/dlist-0.8.0.7/docs/Data-DList.html#v:cons">https://hackage.haskell.org/package/dlist-0.8.0.7/docs/Data-DList.html#v:cons</a></div><div><br></div><div><a href="https://hackage.haskell.org/package/dlist-0.8.0.7/docs/Data-DList.html#v:append">https://hackage.haskell.org/package/dlist-0.8.0.7/docs/Data-DList.html#v:append</a></div><div></div><div></div><div></div><div><br></div><div><a href="https://hackage.haskell.org/package/text-1.2.4.0/docs/Data-Text.html#v:cons">https://hackage.haskell.org/package/text-1.2.4.0/docs/Data-Text.html#v:cons</a></div><div><br></div><div><a href="https://hackage.haskell.org/package/text-1.2.4.0/docs/Data-Text.html#v:append">https://hackage.haskell.org/package/text-1.2.4.0/docs/Data-Text.html#v:append</a></div><div><br></div><div><a href="http://hackage.haskell.org/package/vector-0.12.0.3/docs/Data-Vector.html#v:cons">http://hackage.haskell.org/package/vector-0.12.0.3/docs/Data-Vector.html#v:cons</a></div><div><br></div><div><a href="https://hackage.haskell.org/package/bytestring-0.10.10.0/docs/Data-ByteString.html#v:cons">https://hackage.haskell.org/package/bytestring-0.10.10.0/docs/Data-ByteString.html#v:cons</a></div><div><br></div><div><a href="https://hackage.haskell.org/package/bytestring-0.10.10.0/docs/Data-ByteString.html#v:append">https://hackage.haskell.org/package/bytestring-0.10.10.0/docs/Data-ByteString.html#v:append</a></div><div><br></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Mo., 19. Aug. 2019 um 08:16 Uhr schrieb Andreas Abel <<a href="mailto:andreas.abel@ifi.lmu.de">andreas.abel@ifi.lmu.de</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">Helmut, do you actually know the container APIs?<br>
<br>
Show me cons and append in Data.Set!<br>
<br>
On 2019-08-18 19:40, Helmut Schmidt wrote:<br>
> <br>
> <br>
> Am So., 18. Aug. 2019 um 17:17 Uhr schrieb Oliver Charles <br>
> <<a href="mailto:ollie@ocharles.org.uk" target="_blank">ollie@ocharles.org.uk</a> <mailto:<a href="mailto:ollie@ocharles.org.uk" target="_blank">ollie@ocharles.org.uk</a>>>:<br>
> <br>
>     On Sun, 18 Aug 2019, 5:47 pm Helmut Schmidt,<br>
>     <<a href="mailto:helmut.schmidt.4711@gmail.com" target="_blank">helmut.schmidt.4711@gmail.com</a><br>
>     <mailto:<a href="mailto:helmut.schmidt.4711@gmail.com" target="_blank">helmut.schmidt.4711@gmail.com</a>>> wrote:<br>
> <br>
> <br>
>         All these philosophical arguments calling for "consistency" with<br>
>         the container APIs or that function need words for the human<br>
>         mind to comprehend seem short-sighted to me. If we were<br>
>         consistent about the proposal itself we'd also demand to add<br>
> <br>
>            cons = (:)<br>
> <br>
>            empty = []<br>
> <br>
>            toList = id<br>
> <br>
>            fromList = id<br>
> <br>
> <br>
>     I honestly have no problem with any of these.<br>
> <br>
> <br>
> I forgot<br>
> <br>
>      append = (++)<br>
> <br>
> We also need to address another elephant in the room... those pesky <br>
> tuples and their special privileged non-wordy syntax!<br>
> <br>
>     pair = (,)<br>
> <br>
>     triple = (,,)<br>
> <br>
>     quadruple = (,,,)<br>
> <br>
>     quituple = (,,,,)<br>
> <br>
>     sextuple = (,,,,,)<br>
> <br>
>     septuble = (,,,,,,)<br>
> <br>
>     octuple = (,,,,,,,)<br>
> <br>
> If Haskell were invented in this century's EU Haskell source code would <br>
> be littered with €s instead of $s but then again I wonder why £ wasn't <br>
> picked. But I digress. We can kill two birds with one stone here:<br>
> <br>
>     apply = ($)<br>
> <br>
>     strictApply = ($!)<br>
> <br>
>     compose = (.)<br>
> <br>
> <br>
> It's fun to imagine how code using those definitions would like! But <br>
> it's still a -1 for me, sorry!<br>
> <br>
> <br>
> <br>
> <br>
> _______________________________________________<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>
> <br>
</blockquote></div></div>