<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>NonEmptySeq could be. NonEmptySet almost (it could have extract).<br>
<br>
- Oleg<br>
</p>
<div class="moz-cite-prefix">On 6.12.2020 20.02, David Feuer wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAMgWh9uh8Cg07pK1JTfTBB-8mDw7dMojhz=QKVp2KdXSbavfCA@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="auto">None of these types are comonads, so it doesn't
seem *that* confusing.</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Sun, Dec 6, 2020, 12:59 PM
Bob Ippolito <<a href="mailto:bob@redivi.com"
moz-do-not-send="true">bob@redivi.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">`extract` overlaps with the Comonad typeclass
(extract, duplicate, extend)</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Sun, Dec 6, 2020 at
9:34 AM Tom Ellis <<a
href="mailto:tom-lists-haskell-cafe-2017@jaguarpaw.co.uk"
target="_blank" rel="noreferrer" moz-do-not-send="true">tom-lists-haskell-cafe-2017@jaguarpaw.co.uk</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 really like
`extract`!<br>
<br>
On Sun, Dec 06, 2020 at 05:29:40PM +0000, Alexey
Kuleshevich wrote:<br>
> `extract` is the name that I would suggest. I also
agree with David<br>
> that `pop` is a bit too confusing in a
non-stack/queue data<br>
> structure. If all languages named it pop, then it
would be good<br>
> argument for the name, but we don't need to copy
python. The only<br>
> thing that pyhon has that I wish we had in Haskell is
the popularity<br>
> ;)<br>
> <br>
> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐<br>
> On Sunday, December 6, 2020 8:16 PM, Carter Schonwald
<<a href="mailto:carter.schonwald@gmail.com"
target="_blank" rel="noreferrer" moz-do-not-send="true">carter.schonwald@gmail.com</a>>
wrote:<br>
> <br>
> > LookupThenRemove seems like a more descriptive
name. Though I guess I can see why pop has appeal.<br>
> ><br>
> > On Sun, Dec 6, 2020 at 11:44 AM David Feuer <<a
href="mailto:david.feuer@gmail.com" target="_blank"
rel="noreferrer" moz-do-not-send="true">david.feuer@gmail.com</a>>
wrote:<br>
> ><br>
> >> I suggest you add a version for
Data.Sequence combining lookup with deleteAt. I wanted
that for something fairly recently.<br>
> >><br>
> >> On Sun, Dec 6, 2020, 11:41 AM Martijn
Bastiaan via Libraries <<a
href="mailto:libraries@haskell.org" target="_blank"
rel="noreferrer" moz-do-not-send="true">libraries@haskell.org</a>>
wrote:<br>
> >><br>
> >>> Yeah, Python's `pop` made me call it
`pop`. I had hoped to find other<br>
> >>> examples, but Java, Rust, and Ruby don't
seem to offer `pop`-like<br>
> >>> functions for their (hash)maps.<br>
> >>><br>
> >>> On 12/6/20 5:29 PM, Tom Ellis wrote:<br>
> >>>> On Sun, Dec 06, 2020 at 11:25:33AM
-0500, David Feuer wrote:<br>
> >>>>> The name pop makes me think of a
stack. Is this use of the word common?<br>
> >>>> Python uses that name, which is why
I'm familiar with it:<br>
> >>>><br>
> >>>>>>> d = {'a': 1, 'b': 2}<br>
> >>>>>>> d.pop('b')<br>
> >>>> 2<br>
> >>>>>>> d<br>
> >>>> {'a': 1}<br>
> >>>>
_______________________________________________<br>
> >>>> Libraries mailing list<br>
> >>>> <a
href="mailto:Libraries@haskell.org" target="_blank"
rel="noreferrer" moz-do-not-send="true">Libraries@haskell.org</a><br>
> >>>> <a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries"
rel="noreferrer noreferrer" target="_blank"
moz-do-not-send="true">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
> >>>
_______________________________________________<br>
> >>> Libraries mailing list<br>
> >>> <a href="mailto:Libraries@haskell.org"
target="_blank" rel="noreferrer" moz-do-not-send="true">Libraries@haskell.org</a><br>
> >>> <a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries"
rel="noreferrer noreferrer" target="_blank"
moz-do-not-send="true">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" moz-do-not-send="true">Libraries@haskell.org</a><br>
> >> <a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries"
rel="noreferrer noreferrer" target="_blank"
moz-do-not-send="true">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" moz-do-not-send="true">Libraries@haskell.org</a><br>
> <a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries"
rel="noreferrer noreferrer" target="_blank"
moz-do-not-send="true">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" moz-do-not-send="true">Libraries@haskell.org</a><br>
<a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries"
rel="noreferrer noreferrer" target="_blank"
moz-do-not-send="true">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"
rel="noreferrer" moz-do-not-send="true">Libraries@haskell.org</a><br>
<a
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries"
rel="noreferrer noreferrer" target="_blank"
moz-do-not-send="true">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Libraries mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Libraries@haskell.org">Libraries@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a>
</pre>
</blockquote>
</body>
</html>