[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.

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