[B! type-system] zyzyのブックマーク

zyzy id:zyzy

type-systemに関するzyzyのブックマーク (1)

Type and Logic in Scala
真偽と型の対応はAnyが全体集合でNothingが空集合であることからもわかる. また, 型の包含関係は次のように記述できる.
zyzy 2015/03/12
Nothingって偽である癖に、あらゆる型のサブタイプであるがために、あらゆる状況で型にマッチしちゃうのが、真偽値として使うのに困る気がするんだけどちゃんと動くからよく分からない。／あ、矛盾だから良いのか

Scala

type-system
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx