Что такое тип 'bottom' в Kotlin и в чем его роль в системе типов?

В Kotlin тип "bottom" — это специальный тип, который обозначает отсутствие значения и обычно представлен типом Nothing. Он является подтипом всех типов в системе типов Kotlin, но не имеет значений.

Роль типа "bottom" (Nothing) заключается в том, чтобы указывать на функции или выражения, которые никогда нормально завершаются, например, функции, которые всегда выбрасывают исключение или бесконечно выполняются.

Пример:

fun fail(message: String): Nothing {
    throw IllegalStateException(message)
}

Здесь fail возвращает Nothing, что позволяет компилятору понимать, что после вызова этой функции код не продолжится, и это помогает в анализе кода и проверке типов.

Таким образом, тип "bottom" служит для обозначения отсутствия возвращаемого значения и помогает системе типов быть более точной и безопасной.