Sent from my iPad
> On May 25, 2016, at 12:28 PM, Dmitri Gribenko via swift-evolution
> <swift-evolution@swift.org> wrote:
>
> I like the direction about creating a unified syntax for current
> implementation of existentials and future generalized existentials. I
> am concerned about the chosen syntax though, I don't think it reads
> right. I read Any<X, Y> as a union type.
>
> var x1: Any // OK, 'x1' can have any dynamic type.
> var x2: Any<ErrorProtocol> // OK, 'x2' is any value that conforms to
> ErrorProtocol.
>
> var x3: Any<Hashable, Comparable> // 'x3' is any of the following
> types. Either a Hashable, or a Comparable.
Any suggestions? (pun intended)
>
> Dmitri
>
> --
> main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
> (j){printf("%d\n",i);}}} /*Dmitri Gribenko <griboz...@gmail.com>*/
> _______________________________________________
> swift-evolution mailing list
> swift-evolution@swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution
