[swift-evolution] [Pitch] Flattening the function type of unapplied instance methods

Chris Lattner clattner at apple.com
Fri Feb 26 17:22:20 CST 2016

> On Feb 26, 2016, at 10:20 AM, Chris Lattner via swift-evolution <swift-evolution at swift.org> wrote:
>> On Feb 26, 2016, at 9:44 AM, Joe Groff <jgroff at apple.com <mailto:jgroff at apple.com>> wrote:
>>> let filterNumbers = FilterNumbersWithRejects()
>>> visit([3, 33, 333], predicate: filterNumbers.check)
>>> print(filterNumbers.rejects)
>> I'm not proposing that we take the ability to use `filterNumbers.check` away. I'm proposing changing the type of the fully unapplied reference FilterNumbersWithRejects.check.
> This was the core of my misunderstanding.  I didn’t realize that you were proposing to break the symmetry between Type.method and instance.method.

Joe explained this to me in a calming tone of voice and used small words that I was able to understand, I’m onboard now :-)


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160226/ffee170d/attachment.html>

More information about the swift-evolution mailing list