> On Jun 29, 2016, at 9:15 AM, Erica Sadun via swift-evolution 
> <[email protected]> wrote:
> 
> I rather like this one.  It produces: `Syntax.Literal.IntegerProtocol`, which 
> is honestly
> the best I've seen so far *and* it might get past the Dave test.

I’m curious to see what Dave thinks of this as well.  

`Syntax.IntegerLiteralType` is another that popped into my mind this morning.  
I don’t recall if that has been mentioned yet.  The idea here is that an 
integer literal *can be typed as* a type that conforms to this protocol (the 
type suffix *is not* used in the sense that it used to be used in things like 
`SequenceType` which had the semantic that conforming types *are* sequences).  

-Matthew

> 
> Thank you for bringing this into the conversation!
> 
> -- E
> 
>> On Jun 29, 2016, at 12:31 AM, Adrian Zubarev via swift-evolution 
>> <[email protected] <mailto:[email protected]>> wrote:
>> 
>> How about:
>> 
>> public enum Syntax {
>>      
>>     public enum Literal {
>> 
>>         public typealias NilProtocol = ...
>>         public typealias BooleanProtocol = ...
>>         public typealias IntegerProtocol = ...
>>         public typealias FloatProtocol = ...
>>         public typealias UnicodeScalarProtocol = ...
>>         public typealias ExtendedGraphemeClusterProtocol = ...
>>         public typealias StringProtocol = ...
>>         public typealias StringInterpolationProtocol = ...
>>         public typealias ArrayProtocol = ...
>>         public typealias DictionaryProtocol = ...
>>     }
>> }
>> 
>> extension Array : Syntax.Literal.ArrayProtocol { ... }
> 
> _______________________________________________
> swift-evolution mailing list
> [email protected]
> https://lists.swift.org/mailman/listinfo/swift-evolution

_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to