> On May 3, 2016, at 9:52 PM, Robert Widmann <[email protected]> wrote: > > Trouble is that I don't want variadic generics without corresponding support > from the type system which is untenable without HKTs (see last paragraph of > proposal). C++'s variadic implementation of std::tuple is not elegant to my > mind, and would have no place in a library I could think of writing.
I think we'd keep tuples as a builtin type. Variadics would just let you implement Equatable/Hashable/etc. once for all tuple arities. I don't see why we'd need HKTs for that. -Joe _______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
