Dasturlash tilida Nothing turining nima ekanligini tushuntirib bera olasizmi?

Dasturlash tillarida, masalan, Kotlin, Nothing turi qiymatga ega bo'lmagan turni anglatadi. Bu shuni anglatadiki, Nothing turiga ega bo'lgan funksiya yoki ifoda hech qachon normal tarzda qaytmaydi — masalan, ular istisno chiqarishi yoki cheksiz sikl bilan yakunlanishi mumkin.

Foydalanish misoli:

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

Bu yerda, fail funksiyasi hech qachon qiymat qaytarmaydi, u har doim istisno chiqaradi. Nothing turi kompilyatorga shuni tushunishga yordam beradiki, bunday funksiyani chaqirgandan so'ng, kod davom etmaydi, bu esa kodning tahlili va xavfsizligini yaxshilaydi.