<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">[Proposal: <a href="https://github.com/apple/swift-evolution/blob/master/proposals/0095-any-as-existential.md" class="">https://github.com/apple/swift-evolution/blob/master/proposals/0095-any-as-existential.md</a> ]</div><div class=""><br class=""></div><div class="">I’ve gone on record before as against this syntax, although when I set out earlier today to record my usual rebuttal I found that it really was mostly a matter of taste. Yes, this looks weird to me:</div><div class=""><br class=""></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div class="">let callback: (Data) -> NSCoding & NSCopying</div></blockquote><div class=""><br class=""></div>but I’m sure the infix ‘->’ for functions looked weird to everyone the first time they saw it as well, and it really is pretty clear in argument position.<div class=""><br class=""></div><div class="">However, I did remember one issue, which was brought up on the previous mega-thread: if we do want to <a href="https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#generalized-existentials" class="">generalize protocol values</a>, we’re going to want something that’s essentially “a type with a ‘where’ clauses in it”. I really don’t want to force people to use a typealias to spell such a type, but at the same time I want that where clause to be clearly attached to the type. (As brought up before the return position of a function is currently ambiguous with <a href="https://github.com/apple/swift-evolution/blob/master/proposals/0081-move-where-expression.md" class="">SE-0081</a>.)</div><div class=""><br class=""></div><div class="">Despite the lightweightedness and the well-prepared proposal by Adrian and Austin, the lack of bracketing <> () {} [] leads me to maintain my stance against the proposed syntax.</div><div class=""><br class=""></div><div class="">Jordan<br class=""><div class=""><div class=""><br class=""></div></div></div></body></html>