[swift-evolution] Variadic generics discussion

Austin Zheng austinzheng at gmail.com
Wed Jun 1 11:40:43 CDT 2016


This is good to know, thanks for the clarification!

Austin

> On Jun 1, 2016, at 9:38 AM, Joe Groff <jgroff at apple.com> wrote:
> 
> A regular value is a 1-tuple of itself. In the type system, we know what abstraction level a value expects to work at. It shouldn't be a problem for a variadic type parameter to be bound to 0, 1, or more types.
> 
> -Joe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160601/02d71071/attachment.html>


More information about the swift-evolution mailing list