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

[Chris Lattner]

> 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 :-)

-Chris

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