Čime se tipovi u Kotlinu razlikuju od tipova u Javi?

Kotlin ima null-sigurnost, što omogućava eksplicitno navođenje da li promenljiva može sadržati null. U Javi, svi referentni tipovi podrazumevano mogu biti null.

Kotlin podržava proširenja funkcija i svojstava, što omogućava dodavanje novih mogućnosti postojećim klasama bez nasleđivanja ili korišćenja paterna Decorator.

Kotlin ima klase podataka (data class), koje automatski generišu metode equals(), hashCode(), toString(), copy() i komponente za destrukturiranje.

Kotlin podržava kovarijantnost i kontravariantnost u generičkim tipovima pomoću ključnih reči out i in. U Javi, to se radi pomoću wildcardova (? extends T, ? super T).

Kotlin poseduje pametne kastove (smart casts), koji automatski konvertuju tip promenljive nakon uslovne provere (if (x is String)).

Kotlin podržava funkcije višeg reda i lambda izraze, što pojednostavljuje funkcionalno programiranje.

Kotlin koristi sintaksu za kreiranje objekata bez ključne reči new.

Kotlin ima razlike u primitivnim tipovima: oni nisu odvojene klase, već ugrađeni tipovi koji se kompajliraju u Java primitivne tipove po potrebi.

Osobina	Kotlin	Java
Null-sigurnost	Ugrađena u sistem tipova	Koristi @Nullable
Proširenja	Podržana	Ne
Klase podataka	data class	Generišu se ručno/IDEs
Kovariantnost/Kontravariantnost	out, in	Wildcards (? extends, ? super)
Pametni kastovi	Automatski nakon provere	Zahteva eksplicitnu konverziju
Funkcije	Višeg reda, lambda	Anonimne/lambda izraze (od Java 8)
Kreiranje objekata	Bez new	Sa new
Primitivni tipovi	Ugrađeni, kompajliraju se u Java primitivne	Odvojeni tipovi (int, float itd.)