m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「アハハハハ（ちからない笑い）： 全称型／存在型」で触れた Swift の existential any だけど； some というキーワードは既に使われていて、any にするしかなかった、という事情みたいです。Swift では、キーワードを付ける付けないに関わらず、プロトコル（指標）に適合する型は存在型と呼んでいたようです。キーワード some は存在型を示す印なんですが、コンパイル時に型の正体が分かる存在型をマークする目的のキーワード、一方の any は実行時まで正体が分からない（プロトコルは分かっている）存在型を示す印、みたい。Haskell の存在型がなんで forall なのかはま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2022%2F10%2F25%2F104829" title="全称型／存在型 補遺 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2022-10-25 10:48:29 rich https://m-hiyama.hatenablog.com/entry/2022/10/25/104829 1.0 100%