<div dir="auto">It's not harmful, but is it common enough to have a name?</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Jul 16, 2019, 12:28 Ignat Insarov <<a href="mailto:kindaro@gmail.com">kindaro@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">So, it is not considered harmful. Then I propose we add it to<br>
Data.Tuple under a humane name.<br>
<br>
On Tue, 16 Jul 2019 at 19:41, Lennart Augustsson <<a href="mailto:lennart@augustsson.net" target="_blank" rel="noreferrer">lennart@augustsson.net</a>> wrote:<br>
><br>
> Or 'join (,)'<br>
><br>
> On Tue, Jul 16, 2019, 09:26 Zemyla <<a href="mailto:zemyla@gmail.com" target="_blank" rel="noreferrer">zemyla@gmail.com</a>> wrote:<br>
>><br>
>> id &&& id<br>
>><br>
>> On Tue, Jul 16, 2019, 10:58 Ignat Insarov <<a href="mailto:kindaro@gmail.com" target="_blank" rel="noreferrer">kindaro@gmail.com</a>> wrote:<br>
>>><br>
>>> Hello.<br>
>>><br>
>>> I wonder if there is a function like \x -> (x, x) in the standard libraries.<br>
>>><br>
>>> I looked up in Hoogle. It gave me links:<br>
>>><br>
>>> 1. <a href="https://hackage.haskell.org/package/utility-ht/docs/Data-Tuple-HT.html#v:double" rel="noreferrer noreferrer" target="_blank">https://hackage.haskell.org/package/utility-ht/docs/Data-Tuple-HT.html#v:double</a><br>
>>> 2. <a href="https://hackage.haskell.org/package/extra/docs/Data-Tuple-Extra.html#v:dupe" rel="noreferrer noreferrer" target="_blank">https://hackage.haskell.org/package/extra/docs/Data-Tuple-Extra.html#v:dupe</a><br>
>>> 3. <a href="https://hackage.haskell.org/package/relude/docs/Relude-Extra-Tuple.html#v:dupe" rel="noreferrer noreferrer" target="_blank">https://hackage.haskell.org/package/relude/docs/Relude-Extra-Tuple.html#v:dupe</a><br>
>>><br>
>>> None of these is to the standard library. I wonder if there is an<br>
>>> intentional omission for some important reason? If not, I think this<br>
>>> function should be added to Data.Tuple.<br>
>>><br>
>>> I know some of the persons that make decisions here like Category<br>
>>> theory, so I point out this function is mentioned in Categories for<br>
>>> the Working Mathematician, as δ, the diagonal function, on page 3<br>
>>> (second edition), although set with angular brackets.<br>
>>><br>
>>> Have a great day.<br>
>>> _______________________________________________<br>
>>> Libraries mailing list<br>
>>> <a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">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>
>> _______________________________________________<br>
>> Libraries mailing list<br>
>> <a href="mailto:Libraries@haskell.org" target="_blank" rel="noreferrer">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>