[Python-ideas] Add `Executor.filter`

[Antoine Pitrou]

On Thu, 14 May 2015 23:17:58 +0300
Ram Rachum <ram at rachum.com> wrote:
> I'd like to move `Executor.filter` forward, if that's possible. Can we get
> more people on the list to express their opinion about whether
> `Executor.filter` should be added to the stdlib? (See my implementation in
> a previous message on this thread.)

I don't think there's a common use case for Executor.filter().  Builtin
filter() and map() are a bad analogy, because they are meant to be
easily composable in order to define more complex processing chains.
But I don't see a reason to compose Executor operations.

Regards

Antoine.