Bottom型
ゼロ型
、
空型
などとも呼ばれる
任意の型の
部分型 (subtype)
数理論理学の
$ \bot
空集合となる型
該当する値が存在しない
Curry-Howard同型対応
では偽に対応する
例
TypeScriptの
nerver型
Haskellには無いが
EmptyDataDecls
でそれっぽい
Empty
型を使用可能
ただし本当のBottom型ではない
undefined
を含むので。
Haskellの⊥型
Rustの
!
型
https://ja.wikipedia.org/wiki/ボトム型
https://en.wikipedia.org/wiki/Bottom_type
https://ja.wikibooks.org/wiki/Haskell/Denotational_semantics#ボトムと部分関数
/mrsekut-book-4274069117/174 (15.4 Top型とBottom型)