Care sunt diferențele în sistemul de tipuri între Java și Kotlin?

Java este un limbaj cu tipizare statică, unde tipurile primitive (int, boolean etc.) și tipurile de referință sunt clar separate. În Kotlin, tipurile sunt mai unificate: toate sunt obiecte, inclusiv omologii primitivilor, datorită unui sistem de învelișuri care este optimizat de compilator.

Principalele diferențe:

• Siguranța null: În Kotlin, tipurile implicit nu pot conține null pentru a evita NullPointerException. Pentru tipurile nullable se folosește sintaxa cu semnul întrebării, de exemplu, String?.
• Tipuri generice: Kotlin suportă un sistem de generice mai flexibil cu varianta (in, out), în Java acest lucru se realizează prin wildcards.
• Tipuri de date: Kotlin are tipuri extinse, de exemplu, Unit în loc de void, și suportă extensii de tipuri.

Exemplu de siguranță null în Kotlin:

var a: String = "Hello"
// a = null // Eroare de compilare

var b: String? = "Hello"
b = null // Permis