[swift-evolution] [Discussion] Removing tuple labels from the type signature

[Chris Lattner]

> On Feb 4, 2016, at 10:57 AM, Maximilian Hünenberger <m.huenenberger at me.com> wrote:
> 
> Is there a reasoning behind treating (Int, Int) and (lhs: Int, rhs: Int) as separate types?

I’m not sure what you mean by “separate types”.  One has labels, one does not, so they are clearly separate.

Further, "(Int, Int)” needs to be compatible/convertible to "(a : Int, b : Int)”, but “(a : Int, b : Int)” should not be convertible to “(x : Int, y : Int)”.

> Is there a connection to your tuple splat proposal?

No connection at all.

-Chris