このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2022-10-25から1日間の記事一覧

全称型/存在型: まとめと Models-as-Types

昨日・今日と、「全称型/存在型で困惑した」という話を書きました。 全称型? 存在型? ‥‥?? アハハハハ(ちからない笑い): 全称型/存在型 全称型/存在型 補遺 なんとなく情勢は見えてきたので、いったんまとめをしておきます。それと、存在型の一部…

全称型/存在型 補遺

「アハハハハ(ちからない笑い): 全称型/存在型」で触れた Swift の existential any だけど; some というキーワードは既に使われていて、any にするしかなかった、という事情みたいです。Swift では、キーワードを付ける付けないに関わらず、プロトコル…