Undefined値
呼び出し元に決して返ってくることのない(non-return)関数は、未定義の値を持つ。その値は決して観測されることがないからである。このような関数には、形式上、値を持たないボトム型が割り当てられている。その例は2つのカテゴリに分類される。
無限ループする関数。これは、故意に、または決して見つからないものを検索した結果として発生する可能性がある。
exitシステムコールなど、計算を終了する関数。プログラム内からは、これは前のケースと区別できないが、プログラムの呼び出し元に違いが生じる。