[swift-evolution] Revisiting SE-0110

[Víctor Pimentel Rodríguez]

On Tue, Jun 6, 2017 at 3:30 PM, Vladimir.S via swift-evolution <
swift-evolution at swift.org> wrote:

> I'm just trying to understand your opinion.
> Let me know, what result do you *expect* for this Swift4 code given what
> SE-0066 requires for function types:
>
> func foo(x : (Int, Int))->() {}
>
> print(type(of: foo))  // ??
> print(foo is (_: Int, _: Int)->())  // ??
>
>
> Vladimir.
>

I think most developers would not care about or notice that discrepancy,
while most will encounter the regression in closures and specially in the
Dictionary API. In fact most developers will have this reaction:

https://owensd.io/2017/06/01/se-110-fallout-im-confused/

Please, I don't mean that the type discrepancy should not be changed or
that the proposals have not value, it's just a matter of priorities here.

-- 
Víctor Pimentel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20170606/78975311/attachment.html>