[racket-users] Re: hash-filter: PR or not PR

2020-10-31 Thread unlimitedscolobb
On Saturday, October 31, 2020 at 10:32:22 AM UTC+1 jackh...@gmail.com wrote: > This is definitely a useful thing to have and I've wanted it myself > before. However I'm generally of the opinion that we should avoid making > more collection manipulation functions that are unnecessarily

[racket-users] Re: hash-filter: PR or not PR

2020-10-31 Thread jackh...@gmail.com
This is definitely a useful thing to have and I've wanted it myself before. However I'm generally of the opinion that we should avoid making more collection manipulation functions that are unnecessarily specialized to one type of collection. I'd like to see functions that operate on all