[swift-evolution] Quick question: Constraint Aliasing

Dave Abrahams dabrahams at apple.com
Fri May 12 10:29:10 CDT 2017


on Fri May 12 2017, David Hart <david-AT-hartbit.com> wrote:

>> On 12 May 2017, at 09:05, Dave Abrahams via swift-evolution <swift-evolution at swift.org> wrote:
>> 
>> 
>> on Thu May 11 2017, David Hart <swift-evolution at swift.org> wrote:
>> 
>>> I have the impression this would be simple enough because it would only live in the parser. But
> I'm
>>> no expert.
>> 
>> You would need some way to tell the compiler which associated type goes
>> in the <>s.
>
> I don’t think we are talking about associated types but only of
> generic arguments (Set, Array). 

Sorry, I missed that.

> But perhaps you’re going to say it’s a bad idea to promote (through a
> nicer syntax) writing generic algorithms over Array when they could be
> written against Sequence.

I wasn't going to say that. ;-)

-- 
-Dave


More information about the swift-evolution mailing list