Czym różnią się typy w Kotlin od typów w Java?

Kotlin ma null-safety, co pozwala wyraźnie wskazać, czy zmienna może zawierać null. W Java wszystkie typy referencyjne domyślnie mogą być null.

Kotlin obsługuje rozszerzenia funkcji i właściwości, co pozwala dodawać nowe możliwości do istniejących klas bez dziedziczenia lub użycia wzorca Decorator.

Kotlin ma klasy danych (data class), które automatycznie generują metody equals(), hashCode(), toString(), copy() i komponenty destrukturyzacji.

Kotlin obsługuje kowariancję i kontrawariancję w generykach za pomocą słów kluczowych out i in. W Java jest to realizowane za pomocą wildcardów (? extends T, ? super T).

Kotlin posiada inteligentne rzutowania (smart casts), które automatycznie konwertują typ zmiennej po sprawdzeniu warunkowym (if (x is String)).

Kotlin obsługuje funkcje wyższego rzędu i wyrażenia lambda, co upraszcza programowanie funkcyjne.

Kotlin używa składni do tworzenia instancji obiektów bez słowa kluczowego new.

Kotlin różni się w typach prymitywnych: nie są to osobne klasy, lecz wbudowane typy, które są kompilowane do prymitywów Java w razie potrzeby.

Cecha	Kotlin	Java
Null-safety	Wbudowane w system typów	Używa @Nullable
Rozszerzenia	Obsługiwane	Nie
Klasy danych	data class	Generowane ręcznie/IDE
Kowariancja/Kontrawariancja	out, in	Wildcards (? extends, ? super)
Inteligentne rzutowania	Automatyczne po sprawdzeniu	Wymaga jawnego rzutowania
Funkcje	Wyższego rzędu, lambda	Anonimowe/wyrażenia lambda (od Java 8)
Tworzenie obiektów	Bez new	Z new
Typy prymitywne	Wbudowane, kompilowane do prymitywów Java	Osobne typy (int, float itd.)