¿Puedes explicar qué significa el tipo Nothing en un lenguaje de programación?

En lenguajes de programación como Kotlin, el tipo Nothing denota un tipo que no tiene valores. Esto significa que una función o expresión con tipo Nothing nunca devuelve control normalmente — por ejemplo, pueden terminar lanzando una excepción o en un ciclo infinito.

Ejemplo de uso:

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

Aquí, la función fail nunca devolverá un valor, siempre lanzará una excepción. El tipo Nothing ayuda al compilador a entender que después de llamar a tal función, el código no continuará, lo que mejora el análisis y la seguridad del código.