概要

存在型は具体的な型を消去することで動的に多様な型を扱うことができる反面、型がわからないことでできることも制限されている。 今回存在型の関連型に制約を追加できるようにして使用できる機能増やす。

詳細

制約付き存在型(any版primary associated types)

タイムライン

• オープニング (00:00 ~)
• 今回のテーマ (01:24 ~)
• 存在型とPrimary associated type(01:35 ~)
• 問題点 (02:44 ~)
• 解決方法(04:28 ~)
• 存在型の等価性と変性(05:23 ~)
• 制約をつけられることでできるようになったこと(06:27 ~)
• ABIへの影響 (07:51 ~)
• 将来の検討事項 (08:29 ~)
• エンディング (09:25 ~)

感想等は #LFK_DEVPODS へ！