[swift-evolution] [Pitch] Refactor Metatypes

[Adrian Zubarev]

I’ll join the conversation tomorrow. Thanks to Brent for his huge contribution. :)

Just a quick side note:

Moving from T.Type and T.Protocol to Type<T> and Subtype<T> would also allow us to finally reuse and correctly nest our custom Type and Protocol types.
struct A {
   struct Type {}
}

A.Type() // <— Yeay
This proposal also aims to fix the problem with generics where any protocol metatype was converted to P.Protocol.


-- 
Adrian Zubarev
Sent with Airmail

Am 30. September 2016 um 06:22:34, Xiaodi Wu via swift-evolution (swift-evolution at swift.org) schrieb:

What does the proposal offer that goes beyond what we currently have?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160930/97767875/attachment.html>