Hoe verschillen de types in Kotlin van de types in Java?

Kotlin heeft null-veiligheid, waarmee expliciet kan worden aangegeven of een variabele null kan bevatten. In Java kunnen alle referentietypen standaard null zijn.

Kotlin ondersteunt functies en eigenschappen-uitbreidingen, waarmee nieuwe functionaliteiten kunnen worden toegevoegd aan bestaande klassen zonder overerving of gebruik van het Decorator-patroon.

Kotlin heeft dataclass-achtige klassen (data class), die automatisch de methoden equals(), hashCode(), toString(), copy() en destructureringselementen genereren.

Kotlin ondersteunt covariantie en contravariantie in generics met behulp van de sleutelwoorden out en in. In Java gebeurt dit met wildcards (? extends T, ? super T).

Kotlin heeft slimme casts (smart casts), die automatisch het type van een variabele aanpassen na een conditionele controle (if (x is String)).

Kotlin ondersteunt hogere-orde functies en lambda-uitdrukkingen, wat functioneel programmeren vereenvoudigt.

Kotlin gebruikt syntax voor het maken van objectinstanties zonder het sleutelwoord new.

Kotlin vertoont verschillen in primitieve types: deze zijn geen aparte klassen, maar ingebouwde types die indien nodig worden gecompileerd naar Java-primitieven.

Kenmerk	Kotlin	Java
Null-veiligheid	Ingebouwd in het typesysteem	Gebruikt @Nullable
Uitbreidingen	Ondersteund	Niet
Data-classes	data class	Worden handmatig/IDE gegenereerd
Covariantie/Contravariantie	out, in	Wildcards (? extends, ? super)
Slimme casts	Automatisch na controle	Vereist expliciete conversie
Functies	Hoogwaardige functies, lambda	Anonieme/lambda-uitdrukkingen (sinds Java 8)
Objectcreatie	Zonder new	Met new
Primitieve types	Ingebouwd, gecompileerd naar Java-primitieven	Aparte types (int, float, enz.)