David Feuer

We aim for more portability than that. But feel free to use them to get some quick benchmarks!

So what do your benchmarks show so far?

I'm generally on board with this approach.

You probably shouldn't bother with sequences, though. If it's possible to work a trick like that with sequences, it will be much more trouble than it's worth. It would make...

Er... Are you sure about those `Int` ones? Make sure they make sense, and make sure they're a separate PR, please. Also, did you ever see the `WordMap` stuff? It...

When do you expect to submit a proposal for non-empty `Set` and `Map` to the libraries list? It really shouldn't take long. Just get a good list of applications together.

Ping.

This sounds like an excellent idea. Could you *briefly* raise the question of naming on the libraries list? It's even possible we'd want to call it `lookup`, and name the...

Agreed regarding `find`, but we need to settle the safe versions too. On Sun, Aug 15, 2021, 11:45 PM Callan McGill ***@***.***> wrote: > I can't see any good reason...

Could y'all also please comment on whether you think `lookup` should continue to be fast-failing or not?