<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">Under consideration is the resolution that "<i class="">some terms of art while appropriate to </i><i class="">many FP languages, may be better served by using Swift names</i>."</div><div class=""><div class=""><br class=""></div><div class="">Consider, for example, `filter(_:)`. Sean Heber writes,</div><div class=""><br class=""></div><div class=""><blockquote type="cite" class=""><span style="font-family: Palatino-Roman;" class="">Just tossing my vote in the hat for renaming .filter() to something like .select() since that better matches what it does, IMO. “Filter” is almost like the opposite word from what it should be since the closure returning true is what decides what is included in the results, not what is filtered *from* the results. I mean, yeah, I can kind of understand the logic either way, but it’s always been one of those strange mental gymnastics things."</span></blockquote></div><div class=""><font face="Palatino-Roman" class=""><br class=""></font></div><div class=""><font face="Palatino-Roman" class="">When asked "</font>Shouldn't there be a term of art exemption for `filter(_:)`. Otherwise why not use `select(where:)`," <span style="font-family: Palatino-Roman;" class="">Dave Abrahams replies:</span></div><div class=""><span style="font-family: Palatino-Roman;" class=""><br class=""></span></div><div class=""><blockquote type="cite" class=""><span style="font-family: Palatino-Roman;" class="">Because `where(...)` is better.</span></blockquote></div><div class=""><span style="font-family: Palatino-Roman;" class=""><br class=""></span></div><div class=""><font face="Palatino-Roman" class="">Have at it.</font></div></div><div class=""><font face="Palatino-Roman" class=""><br class=""></font></div><div class=""><font face="Palatino-Roman" class="">-- E</font></div><div class=""><font face="Palatino-Roman" class=""><br class=""></font></div></body></html>