[swift-evolution] [Pitch] Flattening the function type of unapplied instance methods
Chris Lattner
clattner at apple.com
Fri Feb 26 12:20:10 CST 2016
> On Feb 26, 2016, at 9:44 AM, Joe Groff <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.
-Chris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160226/3429e147/attachment.html>
More information about the swift-evolution
mailing list