პროგრამირებაში Nothing მონაცემთა ტიპის მიზანია რა?

პროგრამირებაში Nothing მონაცემთა ტიპი ჩვეულებრივ გამოიყენება მნიშვნელობის არარსებობის ან მნიშვნელობის დაბრუნების შეუძლებლობის ნიშნად. Kotlin-ის მსგავს ენებში, Nothing ნიშნავს, რომ ფუნქცია არასდროს აბრუნებს კონტროლს გამცხადებელს — მაგალითად, ის ყოველთვის აგდებს გამონაკლისს ან არის უსასრულო ციკლში.

Kotlin-ში გამოყენების მაგალითი:

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

აქ, ფუნქცია fail არასდროს დააბრუნებს მნიშვნელობას, ამიტომ მისი ტიპი არის Nothing. ეს ეხმარება კომპილატორს გაიგოს, რომ ასეთი ფუნქციის გამოძახების შემდეგ კოდი გაგრძელდება არა.