[swift-evolution] [Review] SE-0095: Replace `protocol<P1, P2>` syntax with `Any<P1, P2>`

[L. Mihalkovic]

Regards
LM
(From mobile)
> On Jun 22, 2016, at 8:04 PM, Chris Lattner via swift-evolution <swift-evolution at swift.org> wrote:
> 
> Hello Swift community,
> 
> The review of "SE-0095: Replace `protocol<P1,P2>` syntax with `Any<P1,P2>`" begins now and runs through June 27. The proposal is available here:
> 
>   https://github.com/apple/swift-evolution/blob/master/proposals/0095-any-as-existential.md
> 
> Reviews are an important part of the Swift evolution process. All reviews should be sent to the swift-evolution mailing list at
> 
>   https://lists.swift.org/mailman/listinfo/swift-evolution
> 
> or, if you would like to keep your feedback private, directly to the review manager.
> 
> What goes into a review?
> 
> The goal of the review process is to improve the proposal under review through constructive criticism and contribute to the direction of Swift. When writing your review, here are some questions you might want to answer in your review:
> 
>   * What is your evaluation of the proposal?

This is a very simple and intuitive way to express compositions that naturally eliminates the ambiguity around ordering which plagued the original proposal

>   * Is the problem being addressed significant enough to warrant a change to Swift?

It is critical to choose a syntax that will scale up for generalized existentials, which will plug a whole in the current type system.

>   * Does this proposal fit well with the feel and direction of Swift?

It is new, but fits well with the rest

>   * If you have used other languages or libraries with a similar feature, how do you feel that this proposal compares to those?

Lots... the only real alternative (with the same benefits) is to use ' + '.  Given alternatives, swift airs on the side of the easiest to read as English.. which means ' & ' is the natural winner

>   * How much effort did you put into your review? A glance, a quick reading, or an in-depth study?

Lots, including exploring a generalization that logically degenerates to the syntax prosed here.

More:
https://gist.github.com/lmihalkovic/68c321ea7ffe27e553e37b794309b051

> 
> More information about the Swift evolution process is available at
> 
>   https://github.com/apple/swift-evolution/blob/master/process.md
> 
> Thank you,
> 
> -Chris Lattner
> Review Manager
> 
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160623/4d39b52e/attachment.html>