Message243276
| Author |
pitrou |
| Recipients |
bquinlan, cool-RR, ethan.furman, jnoller, paul.moore, pitrou, sbt |
| Date |
2015年05月15日.16:33:51 |
| SpamBayes Score |
-1.0 |
| Marked as misclassified |
Yes |
| Message-id |
<1431707631.85.0.530721182178.issue24195@psf.upfronthosting.co.za> |
| In-reply-to |
| Content |
But to answer your argument:
> I think this is sufficiently tricky to get right that it's worth
> adding filter() as a parallel to the existing map() API.
"Tricky to get right" is not a good criterion. The question is whether it's useful or not. Only the OP has had that need AFAIK. |
|