> On Nov 21, 2017, at 7:19 PM, Douglas Gregor via swift-evolution 
> <swift-evolution@swift.org> wrote:
> 
> 
> 
> Sent from my iPhone
> 
> On Nov 21, 2017, at 3:46 PM, Tony Allevato <tony.allev...@gmail.com 
> <mailto:tony.allev...@gmail.com>> wrote:
> 
>> Does that mean that once structural types can conform to protocols, would 
>> the core team want to remove Optional as a nominal type and just use “T?”?
> 
> Yes; at least, it’s a direction we’ve discussed a number of times. 
> 
>> Or has that ship sailed because of source compatibility and you just don’t 
>> want to introduce any new nominals that shadow structurals?
> 
> typealias Optional<T> = T?
> 
> Should address source compatibility. 

Or alternatively, one could decide to make the generics system *only and 
forever* work on nominal types, and make the syntactic sugar just be sugar for 
named types like Swift.Tuple, Function, and Optional.  Either design could work.

-Chris


_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to