Pair<A,B>, Nominal Tuples and Variadic Generics

[xwu (Xiaodi Wu)]

@Logan_Shire

Yes, precisely. Unfortunately without Variadic Generics, afaik we don't have any better options. At least until we do, I'd want tuples up to N=8 (?) elements to have nominal (albeit internal) types that conform to Equatable, Hashable and Comparable with conditional conformances.

Here's a salient post from @Joe_Groff:

@Joe_Groff

It would be a tractable intermediate problem to introduce built-in conformances for tuples (and perhaps metatypes) to Equatable/Hashable/Comparable without breaching the more general topic of allowing these types to have general protocol conformances. I think that would cover the highest-value use cases.

I think we all agree that this would be a good idea; no nominal types are required. The limiting factor isn't the idea but someone implementing it.