[swift-evolution] Variadic generics discussion
Matthew Johnson
matthew at anandabits.com
Tue May 31 15:46:39 CDT 2016
> On May 31, 2016, at 3:39 PM, Austin Zheng <austinzheng at gmail.com> wrote:
>
> (inline)
>
> On Tue, May 31, 2016 at 1:34 PM, Matthew Johnson <matthew at anandabits.com <mailto:matthew at anandabits.com>> wrote:
>
>> On May 31, 2016, at 3:25 PM, Austin Zheng <austinzheng at gmail.com <mailto:austinzheng at gmail.com>> wrote:
>>
>> I have a proposal for #6 in the pipe, but there are actually some subtleties I have to work out (it's not as simple as just slapping a generic type signature on a let constant).
>
> Cool. Looking forward to reviewing a draft when it’s ready.
>
>>
>> I think #5 is just considered a 'bug' and doesn't need a proposal (it might actually be finished already; I saw some commits recently); same with #4. #7 is not very useful without variadic generics (it pretty much exists to allow tuples to conform to protocols, and tuples are inherently variadic).
>>
>
> Good to know 4 and 5 are considered bugs. I know #4 is important for the standard library so I suppose that will ensure it is a priority soon enough.
>
> I included #7 because it would still be nice to have for a number of reasons. Maybe there is a way to pull it off for a handful of types that are known to the compiler.
>
>> I wanted to take a stab at #2.
>
> Are you still thinking about this one or did you decide not to pursue it?
>
> I think I'd like to try writing something up.
>
>
>> The core team has talked so much about #1 that I'd be surprised if they don't already have an idea as to how they want to do it, plus it's complicated for a number of reasons to get right. In such a case having the community push forward an alternate proposal would just be giving everyone more unneeded work.
>
> Agree here as well. I’ve avoided generics proposals mostly because I thought the core team was leading the charge on all them. It now appears like that may not have been the right assumption across the board. I wish we had a bit more visibility on this...
>
> Yes, same. I'm going off this bullet point at the beginning of the generics manifesto:
>
> "I hope to achieve several things: ... Engage more of the community in discussions of specific generics features, so we can coalesce around designs for public review. And maybe even get some of them implemented."
>
>
>>
>> #3 seems semantically straightforward. AFAIK there's nothing a subscript can do that a getter and setter method can't do together, and methods can already be generic. A proposal shouldn't be hard to put together.
>
> Agree. Someone just needs to jump in and write it up. :-) If it had a chance of making it into Swift 3 I would do it right away, but it’s hard to tell...
>
> I'd be happy to write up a proposal, especially if it's as straightforward as it seems.
Cool! I’ll continue to play the role of providing as much feedback as I can… :-)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160531/9b5f821f/attachment.html>
More information about the swift-evolution
mailing list