Avatar
some がパフォーマンスのためのものという文脈では、 CatDogAnimal として扱われても問題ないですが、 any Error は Existential が出てくるので明確にパフォーマンス上のデメリットがありますよね?
7:32 AM
つまり、 any Xxx に畳まれるのは許容しないっていう選択があり得ると思ってます。