Avatar
omochimetaru 1/28/2020 8:03 AM
Swift的にはジェネリッククロージャとして自前で宣言する方向だと思います func squares<T1: Numeric, T2: Numeric>(of values: (T1, T2)) -> (T1, T2) { // T1とT2がXに束縛できるか静的にチェック values.map { <X: Numeric> (a: X) in x * x } }
8:04 AM
$0 記法の時は悩ましいな。
8:04 AM
これまで関数のシグネチャが推論されるのはクロージャーだけで、func のシグネチャ推論は存在しなかったから
8:05 AM
クロージャーに存在しないジェネリックパラメータが増えると 推論をジェネリックパラメータで受けるのか型で受けるのか曖昧性が出てくる場所もありそうだ