[swift-evolution] [Pitch] merge types and protocols back together with type<Type, Protocol, ...>

[Adrian Zubarev]

I’ve done some progress on the draft proposal. There are still a few things to fill, but now it should be clear what `all<>` will solve (empty cells in the table) and what types it might produce (equivalent refined type). 
`protocol<>` could completely be replaced with `all<>`.

I have rewritten the examples for `all<>` to be more specific and moved `class<>` etc. to future directions with some examples what can be done with these.

Due the fact that Swift 3 will have generic typealias and possible `any<>`, `struct<>` and `enum<>` in the future, we could also build `value<>` which I showed at the button of the proposal.

Feel free to give me some feedback. :)

-- 
Adrian Zubarev
Sent with Airmail
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160514/1eeb2efc/attachment.html>