Мо метавонед шарҳ диҳед, ки маънои навъи Nothing дар забони барномасозӣ чист?

Дар забонҳои барномасозӣ монанди Kotlin, навъи Nothing навъиест, ки арзиш надорад. Ин маъно дорад, ки функсия ё ибораи бо навъи Nothing ҳеҷ гоҳ ба таври оддӣ баргардонида намешавад — масалан, онҳо метавонанд хатогӣ бароранд ё дар доираи беохир давр зананд.

Масали истифода:

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

Ин ҷо, функсияи fail ҳеҷ гоҳ арзише баргардон намекунад, ҳамеша хатогӣ мебарорад. Навъи Nothing кӯмак мекунад, ки компилятор фаҳмад, ки пас аз даъвати чунин функсия, коди идома намеёбад, ки ин таҳлили коди бехатариро беҳтар мекунад.