「全称型？ 存在型？ ‥‥？？」を書き終わった後で見つけた、Swift の存在型に関する記事、： Existential any in Swift explained with code examples Existential any allows you to define existential types in Swift by prefixing a type with the any k…

「多相関数を表す全称記号がしゃくに障るワケ」において、多相関数や依存型を表すときに使う全称記号を話題にしました。僕は全称記号反対派ですが、実際には全称記号が使われています。さてところで、「全称限量された型〈universally-quantified type〉」、…