Quali sono le differenze nel sistema di tipi tra Java e Kotlin?

Java è un linguaggio con tipizzazione statica, dove i tipi primitivi (int, boolean, ecc.) e i tipi di riferimento sono chiaramente separati. In Kotlin, i tipi sono più unificati: tutti sono oggetti, inclusi gli analoghi dei primitivi, grazie a un sistema di wrapper ottimizzato dal compilatore.

Principali differenze:

• Sicurezza null: In Kotlin, i tipi di default non possono contenere null per evitare NullPointerException. Per i tipi nullable si usa la sintassi con il punto interrogativo, ad esempio, String?.
• Tipi generici: Kotlin supporta un sistema di generici più flessibile con la varianza (in, out), in Java questo è implementato tramite wildcard.
• Tipi di dati: Kotlin ha tipi estesi, ad esempio, Unit invece di void, e supporta estensioni di tipi.

Esempio di sicurezza null in Kotlin:

var a: String = "Hello"
// a = null // Errore di compilazione

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