Консепти 'Nothing' дар контексти барномаи ё забони Kotlin чӣ маъно дорад?

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

Масалан:

fun fail(паём: String): Nothing {
    throw IllegalStateException(паём)
}

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