Что за expect/actual? Дайте ссылку

Структурная типипизация в номинативной? Звучит же очень круто)

https://kotlinlang.org/docs/reference/mpp-connect-to-apis.html
Это в общем случае про мультиплатформенные возможности котлина.

+Два “цвета” функций (suspend)

Ааа.. я ещё не выбрался за JVM

Я не думаю, что Брагилевского нанимали "евангелистом"/"адвокатом" котлина. Вряд ли услышу что-то лестное

В двух словах — есть несколько диалектов котлина (Kotlin/JVM, Kotlin/JS, Kotlin/Native), различающихся в небольших деталях, и есть отдельный т.н. common диалект, коду на котором нельзя обращаться ни к чему, кроме другого common-кода (щас там сложнее всё, но не принципиально для понимания). При сборке кода под, к примеру, JVM можно взять модули на Kotlin/JVM и на common, они все вместе будут собираться. Вот механизм expect/actual позволяет те вещи, которые не реализуемы в common (к примеру, вывод в консоль везде разный) задекларировать как expect, в платформенном коде написать совместимые actual-декларации, и оно соединится вместе при сборке.

Ну и интересное место в данном контексте, в том что можно подсунуть готовый тип

actual typealias AtomicRef<V> = java.util.concurrent.atomic.AtomicReference<V>

Благодарю за TLDR!

А зря, кстати — у него довольно взвешенная позиция, насколько я понимаю, и он как раз со своим багажом может адекватно сравнить позитивные и негативные стороны разных систем типов, включая котлиновскую.

Если, конечно, ему интересно будет об этом рассказывать :)

actual typealias AtomicRef<V> = java.util.concurrent.atomic.AtomicReference<V>

Тайпклассы на минималках (ха-ха)

actual typealias AtomicRef<V> = java.util.concurrent.atomic.AtomicReference<V>

Ну да, при этом у типа, который тайпалиасом в actual задекларирован, могут быть и другие свойства/методы. С сильной натяжкой, наверное, это можно назвать row polymorphism, но возможность применения этой штуки всё же ограничена.

Какие люди. Теперь точно срач начнётся, я пошёл.

val a: String? = null
if(a != null) {
    // a: String
}

нет, такого нет, но это с лихвой компенсируется паттерн-матчингом

(меня попросили ответить на этот вопрос) если надо, могу развернуть мысль

Да нет, не надо, я хорошо понимаю, в чём прелесть паттерн-матчинга.

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

Официальная позиция Бреслава была такая: там много граблей лежит, так что подождем и посмотрим, на что они наступят. А на данный момент кроме компиляторщиков он никому особо не нужен.

От себя могу добавить, что опровержения последнего тезиса так и не было. Под нужен подразумевается не "душа просит", а нельзя заменить почти таким же кодом без него.

В джава до паттерн матчинга в понимании хаскеля - как до луны. Там даже в планах ничего нет на эту тему

Ну вы опять за своё. Конечно, можно и без патмата жить, и живём. Но патмат с деструктуризацией при работе с типами данных с парой-тройкой уровней композиции удобен.