2022-10-24から1日間の記事一覧
「全称型? 存在型? ‥‥??」を書き終わった後で見つけた、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〉」、…