Hogyan van felépítve a típus rendszer a Kotlin nyelvben?

A Kotlin típusrendszere szigorú és statikus, ami azt jelenti, hogy a változók típusai fordítási időben ismertek, és futás közben nem változhatnak. Fő jellemzők:

• Primitív típusok és burkoló osztályok: Kotlin primitív típusokat (Int, Double, Boolean stb.) használ, de ezek a háttérben objektumként is megjelenhetnek.
• Nullable és non-nullable típusok: Kotlinban alapértelmezés szerint a típusok nem fogadhatnak null értéket. Ehhez speciális szintaxist használunk kérdőjellel, például String? nullable típus.
• Felső szintű típusok: Minden típus az Any alap osztályból származik (hasonló a Java Object-jéhez), kivéve a nullable típusokat, amelyek az Any?-ből származnak.
• Generikus típusok: Kotlin támogatja a generikusokat korlátozások és variációk (in, out) megadásával.

Példa egy nullable típusú változó deklarálására:

var name: String = "Ivan"
var nullableName: String? = null

Így a Kotlin típusrendszere segít elkerülni a null-hoz kapcsolódó hibákat, és biztosítja a típusbiztonságot fordítási időben.