そうだな・・・

4:43 AM

結局 Generalized Existenstial になってしまうか？

4:44 AM

うーん、なんというか、 existential に変換する場合のオペレーションが明示的ならいいと思うんよね。

4:47 AM

クラスも継承もサブタイピングもなくて、本当に必要な場合だけ参照や Existential に変換できる世界だと型システムがもっとシンプルになる気がしてる。今の Swift の protocol と参照型の相性が良くないような。

4:47 AM

もちろん今の状況から現実的じゃないのはわかってるけど。