Vai vari pastāstīt par galvenajām Kotlin valodas tipu sistēmas iezīmēm?

Galvenās iezīmes Kotlin tipa sistēmā:

• Statiska tipizācija: Tipa tiek pārbaudīti kompilācijas laikā, kas palīdz izvairīties no daudziem kļūdām.
• Null drošība: Kotlin ir iebūvēta sistēma darbam ar nullable tipiem, kas samazina NullPointerException kļūdu skaitu. Piemēram, String? tips var saturēt null, bet String — nē.
• Tipu izvilkšana: Kotlin kompilators var izvilkt mainīgo un funkciju tipus, kas vienkāršo kodu.
• Augstāka un zemāka līmeņa tipi: Kotlin atbalsta mantošanu un interfeisus, ļaujot būvēt tipu hierarhijas.
• Koritnas un tipi: Tipus var izmantot korinutās asinhronai programmēšanai.

Piemērs — null drošība:

var a: String = "Hello"
var b: String? = null

println(a.length) // vienmēr droši
// println(b.length) // kompilācijas kļūda
println(b?.length) // droša izsaukšana, atgriezīs null, ja b == null

Šīs īpašības padara Kotlin par ērtu un drošu valodu izstrādei.