Môžeš hovoriť o kľúčových vlastnostiach systému typov v jazyku Kotlin?

Kľúčové vlastnosti systému typov v Kotlin:

• Statická typová kontrola: Typy sú kontrolované počas kompilácie, čo pomáha predchádzať mnohým chybám.
• Bezpečnosť voči null: Kotlin má vstavaný systém na prácu s nullable typmi, čo znižuje počet chýb NullPointerException. Napríklad, typ String? môže obsahovať null, zatiaľ čo String nie.
• Dedenie typov: Kotlin podporuje dedičstvo a rozhrania, čo umožňuje budovanie hierarchií typov.
• Koritny a typy: Typy môžu byť použité v korutinách na asynchrónne programovanie.

Príklad bezpečnosti voči null:

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

println(a.length) // vždy bezpečné
// println(b.length) // chyba pri kompilácii
println(b?.length) // bezpečné volanie, vráti null ak b == null

Tieto vlastnosti robia Kotlin pohodlným a bezpečným jazykom na vývoj.