[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