Opaque Result Type in Swift with Rust

Transcript

1. Opaque Result Type in Swift with Rust
2. 『Swift 5.1 に導入されそうな Opaque Result Type と は何か』 https://qiita.com/koher/items/338d2f2d0c4731e35 08f
3. リバースジェネリクス 通常のジェネリクス func useAnimal<A: Animal>(_ animal: A) { animal.foo() } メソッド名に型引数を宣言 引数で型変数を利用 呼び出し側が型引数に対応する具象型を決定
4. リバースジェネリクス リバースジェネリクス func makeAnimal() -> <A: Animal> A { return Cat() } メソッドシグネチャの後に型引数を宣言 返却値の型が型変数 実装側が型引数に対応する具象型を決定
5. Opaque Result Type some Animal を 返却値の型として利用 → リバースジェネリクス メソッド引数として利用 → 通常のジェネリクスと同義 !!????
6. ジェネリクス func useAnimal<A: Animal>(_ animal: A) ↓ 型システム的な表現にすると ∀ A. (func(A: Animal) -> ()) Opaque type func useAnimal(_ animal: some Animal) ↓ 型システム的な表現にすると (∃ A. A: Animal) -> ()
7. ∀ A. (func(A: Animal) -> ()) ターンエーガンダムみたいななんかよく分からん記号 が、メソッドの引数から返却値まで全体にかかってい る。 (∃ A. A: Animal) -> () カタカナの「ヨ」みたいななんかよく分からん記号 は、出現場所( メソッド引数) だけにかかっている。 A. A: Animal の部分は一致している
8. つまり ∀ A. (func(A: Animal) -> ()) ⇔ (∃ A. A: Animal) -> () という関係が成り立つ。 メソッド引数として利用した場合、通常のジェネリク スと同義 → 同じではないが、同形をとる
9. なぜプロトコル型に パフォーマンス上のロスがあるのか
10. Demo with Rust