8
プログラミング言語にボトムタイプがある理由はありますか?
ボトムタイプは、数学タイプ理論に主に現れる構成です。空のタイプとも呼ばれます。値を持たないタイプですが、すべてのタイプのサブタイプです。 関数の戻り値の型がボトム型の場合、それは戻り値がないことを意味します。期間。永久にループするか、例外をスローする可能性があります。 プログラミング言語でこの奇妙なタイプを持つことのポイントは何ですか?それほど一般的ではありませんが、ScalaやLispなどの一部に存在します。