Как се различават типовете в Kotlin от типовете в Java?

Котлин разполага с null-сигурност, която позволява ясно да се посочи дали променливата може да съдържа null. В Java всички референтни типове по подразбиране могат да бъдат null.

Котлин поддържа разширения на функции и свойства, което позволява добавяне на нови възможности към съществуващи класове без наследяване или използване на патърна Decorator.

Котлин има класове данни (data class), които автоматично генерират методите equals(), hashCode(), toString(), copy() и компоненти за деструктуриране.

Котлин поддържа ковариантност и контравариантност в обобщенията с помощта на ключовите думи out и in. В Java това се прави с wildcards (? extends T, ? super T).

Котлин разполага с интелигентни преобразувания на типове (smart casts), които автоматично преобразуват типа на променливата след условна проверка (if (x is String)).

Котлин поддържа функции от по-висок ред и ламбда изрази, което улеснява функционалното програмиране.

Котлин използва синтаксис за създаване на обекти без ключовата дума new.

Котлин има различия в примитивните типове: те не са отделни класове, а вградени типове, които при необходимост се компилират в примитиви на Java.

Характеристика	Kotlin	Java
Null-сигурност	Вградена в системата от типове	Използва @Nullable
Разширения	Поддържани	Не
Класове данни	data class	Генерират се ръчно/в IDE
Ковариантност/Контравариантност	out, in	Wildcards (? extends, ? super)
Интелигентни преобразувания	Автоматични след проверка	Изисква явна конверсия
Функции	Висок ред, ламбда	Анонимни/ламбда изрази (от Java 8)
Създаване на обекти	Без new	С new
Примитивни типове	Вградени, компилират се в Java примитиви	Отделни типове (int, float и др.)