なるほど。そもそも現状は関数宣言時の引数のフォーマットを踏襲しているわけで、そこにタプルの分解を持ち込んだときにどういう記法とするのかは議論が必要そうですね。

5:03 AM

{ ( (x: Int, y: Int) ) in ... } にしても { ( (x, y): (Int, Int) ) in ... } にしても関数宣言の記法にない新しいものを追加しようとしてるわけですし。

5:04 AM

↓はできるんだからそれを踏襲すればいいのかな。 let (a, (b, c)) = (2, (3, 5))

5:05 AM

let (a, (b, c)): (Int, (Int, Int)) = (2, (3, 5))

5:05 AM

だからやっぱ後者がいいのかな。