suspend/composable/etc context propagation

Также inline-функции позволяют распространить suspend/composable/какой-либо другой контекст стороны вызова в код передаваемой лямбды. Именно благодаря этому, к примеру, в map мы можем вызывать suspend функции, несмотря на то, что лямбда, которую она принимает не передаётся с ключевым словом suspend.

реификация типов

В Kotlin присутствует стирание типов в compile-time. Это значит, что все дженерики будут выглядеть в runtime одинаково и в следующем коде будет ошибка:

fun <T> checkType(item: Any): Boolean = item is T
// err: cannot check for instance of erased type T

Однако с inline функциями можно пометить тип как reified и этот код уже скомпилируется:

inline fun <reified T> checkType(item: Any): Boolean = item is T

noinline, crossinline и ограничения inline-лямбд

Инлайнинг лямбды можно отключить при помощи ключевого слово noinline, тогда её можно использовать как обычную лямбду. Иногда может потребоваться встроить лямбду и отключить дополнительные фичи (non-local returns), тогда можно использоваться ключевое слово crossinline.

в inline функциях есть доступ к членам своего уровня видимости

У inline-функций нет доступа к private/internal членам в их зоне видимости. Однако эту проблему можно решить аннотацией PublishedApi. При этом необходимо учитывать, что объявление с аннотацией становится "effectively public" (фактически в байт-коде оно становится публичным) и это влияет на бинарную совместимость.

inline-свойства

Свойства также могут быть inline. Если быть точнее, инлайнятся их геттеры/сеттеры. И у таких свойств не может быть backing fields. В KEEP к inline свойствам можно почитать дискуссию про эту фичу и посмотреть на примеры.

Почему Compose это не UI фреймворк

Завтра, во вторник, мы проведём стрим про Compose и посмотрим на то, что на самом деле из себя представляет эта технология. На стриме узнаем:

• Почему Compose это не UI фреймворк (не путать с compose-ui)?
• Как отрисовать compose в html (или даже в терминале)?
• Как написать вьюмодель на compose?
• Что делает androidx в кроссплатформенном фреймворке

📅 Вторник, 14 октября в 17:00 МСК

🔴 Мы в прямом эфире

Заходите на любой удобной площадке и пишите комментарии.

Youtube | Twitch | Telegram

🔴 Мы в прямом эфире. Присоединяйтесь!

Telegram | YouTube | Twitch

Продолжаем амбассадорить сообщество Kotlin Russia

Следующий ламповый митап запланирован на 14 ноября в 19:00. Будет 2 доклада:

• 19:05 Kotlin backend: используем котлин на все 100% – Анжелика Походун, Лемана Тех
• 20:15 Корутины для начинающих – Глеб Минаев, Центр научного программирования

На митапе буду я (@y9san9). Приходите пообщаться! А если кому-то не хватает наших стримов, то обещают сделать стрим и записи докладов.

Подробнее

JSpecify аннотации

Platform types уже довольно долгое время являются головной болью для Kotlin- и Java-разработчиков. Чтобы понять проблему достаточно взглянуть на код с картинки.

Именно с этой целью были созданы специальные аннотации для Java API, с помощью которых можно обозначить nullness всех возможных типов в коде.

В качестве примера можно взять следующий интерфейс на Java, в котором нет аннотаций:

interface Simple {
    // returns String!
    String method1();

    // returns List<String!>!
    List<String> method2();
}

Здесь каждый тип будет являться platform type. С этой целью был создан проект JSpecify, который призван создать стандартизированные аннотации для Java кода для обозначения nullability типов:

interface Simple {
    // returns String
    @NonNull String method1();

    // returns List<String?>
    @NonNull List<@Nullable String> method2();
}

На самом деле подобные аннотации уже давно существуют, однако с ними есть ряд проблем. Большинcтво из них довольно стары, а некоторые были созданы специально для nullness analysis инструментов. И зачастую у всех аннотаций разная семантика — например, какое поведение по умолчанию устанавливается для полей, когда у них нет аннотации.

И все эти проблемы как раз решает JSpecify при помощи стандартизации всех возможных аннотаций. В JSpecify Working Group присоединилось довольно много компаний, например, Square, Google, JetBrains — все они для своих библиотек используют аннотации JSpecify.

Подробнее про эти аннотации можно посмотреть в видео на канале Kotlin by JetBrains.

Первый коммит в Kotlin был сделан 15 лет назад

Летом Kotlin исполнилось 14 лет, о чём мы уже писали. Но 14 лет назад была выпущена первая версия, а ровно 15 лет назад Андрей Бреслав сделал первый коммит в репозиторий.

Язык изначально назывался Jet. Если глянуть в сорцы коммита, можно увидеть множество файлов .jetl (jetbrains language) — изначального названия языка.