ボトム型
NILはしばしばNULLと混同されることがあるが、NULLはただ1つの値すなわちNILを持つ型である。
Scalaではボトム型はNothingで表される。例外をスローしたり正常に戻らない関数で使われるのに加え、共変なパラメタ化された型でも使用される。 例としてScalaのリストは共変なので、全ての型AについてList[Nothing]はList[A]の部分型である。そのため、Scalaであらゆる型のリストの終端を表すNilはList[Nothing]型である。
Rustではボトム型は!で表されていた。Rust 2018エディションからは、識別子の最後に!が置かれているならばマクロと見做し、引数などとともにマクロ展開を行う演算子となった。
Ceylonのボトム型はNothingである 。これはScalaのNothingに似ており、他の全ての型の交差型を表し、また空の集合を表す。