> Ну, я на нем последние 5 лет пишу как основном языке бэкенда.
> А где там JS? Типизация как была статической, так и осталась, тип
> выводится компилятором.
> var используют и в джаве для локальных переменных, ибо если не можешь
> понять тип из правой части присваивания, то написан говнокод.

Ты смотришь код в гитлабе, а не в IDE и котлин превращается в пытку на ревью комита. Код должен говорить - это принцип java, потому, что его проектировали инженеры по подходу. Иначе, я хороший программер и напишу хороший код хоть на асме, но язык должен запрещать с концами писать плохо. Потому java это хороший язык, который маскирует минимум поведения.

> Основная фишка котлина - это явное разделение типов на nullable и not
> nullable и наличие коротких символьных null-safe операторов.

Это тоже достигается одной аннотацией над корневым пакетом и плагином в мавене, в остальном отличий не шибко найдешь. Так что разницы нет, может в тонкостях, но это пофиг. Тотесть эта аннотация сделает все в проекте @notnull, и только спецом отмеченное наллабл. Как и в котлин.

Ну и плюс всякие
> фишки, уже являющиеся частью синтаксиса языка, которые в джаве достигаются ворохом
> аннотаций Lombok

Ну прям уж ворохом, набор конструкций почти совпадает, а на чем автодополнение вызвать, все равно, количество нажатых кнопок одинаковое. Не вижу в ломбоке особых отличий от синтаксиса, слова и слова, писать и писать. Нужно смотреть количество нажатых кнопок, а не текста в итоге и наступит прояснение. При этом код в джаве самоописательный, в котлин, нет в итоге и это лостигается как раз тем, что он немного многословнее. Зато польза на ревью.