variadic tuple だと要素の型が固定されてるので具体的な型で書けるよ。

7:19 AM

あー、 (Int, Double...) とかもあるから一般的には言えないか。

7:21 AM

variadic generics では T でいい

その言葉の通りです。 func squares<(T: Numeric)...>(of values: (T...)) -> (T...) { values.map { (value: T) in value * value } }

7:22 AM

この T はタプルオペレーションの外では T... としてしか使えないけど、中では T として使えて、 T... の個別の型を表すプレースホルダーとして働く。