Разбор кода: пиксельная погода на Kotlin

Третий выпуск спецпроекта, в котором опытные разработчики Яндекса продолжают разбирать код стажёров и джунов и объяснять, что в нём сделано хорошо, а что ещё можно улучшить.

Сегодня под микроскоп попадает WeatherApp — приложение прогноза погоды с ретровизуалом. Арсений Носов, Android-разработчик в команде Алисы и Умных устройств, тщательно разбирает код и делится полезными советами по работе с ним.

Ссылка на код: https://github.com/ArkhamDm/WeatherApp

Readme кода на Kotlin: https://github.com/ArkhamDm/WeatherApp

✍️ @kotlin_lib

Model Context Protocol in Kotlin
Alexander Sysoev

MCP is an open protocol that standardizes how applications provide context to LLMs. We've created a Kotlin library that allows you to use this protocol and connect AI models to tooling, like IDEs. Now we will see how it works in practice.

https://www.youtube.com/watch?v=D3hCBrxJHLo

✍️ @kotlin_lib

Kotlin и Compose: многоплатформенные шаблоны для взаимодействия с iOS. Джон О'Рейли

В этом докладе я на реальных примерах расскажу о различных UI- и неUI-шаблонах, которые я применял за последние 5 лет при использовании KMP и CMP на iOS.

источник

✍️ @kotlin_lib

Как обойти множественное наследование в Kotlin и Java. Агрегация и композиция

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

источник

✍️ @kotlin_lib

🔥 Современная оркестрация Kotlin-приложениями

Приглашаем на открытый урок.

🗓 22 октября в 19:00 МСК
🆓 Бесплатно. Урок в рамках старта курса «Kotlin Backend Developer. Professional».

Уже прошла эпоха монолита, когда целые компании занимались разработкой одного необъятного приложения. Сейчас любая информационная система насыщена различными сервисами, а микросервисами уже никого не удивишь.
Обязательным атрибутом собеседований стал вопрос про Saga, хореографию и оркестрацию.
И именно эту тему мы разберем на вебинаре в применении к Kotlin-разработке.

Что будет на вебинаре:
- Обсудим как традиционные оркестраторы типа Airflow или Camunda, так новых игроков.
- На практической части вебинара мы разработаем простое приложение, управляемое оркестратором.

🔗 Ссылка на регистрацию: https://vk.cc/cQoC1D

Реклама. ООО «Отус онлайн-образование», ОГРН 1177746618576

Dissecting Kotlin: Surveying the Latest Stable and Experimental
Huyen Tue Dao

As Kotlin evolves, not only do the features available to us as developers evolve, but so does our understanding of what idiomatic Kotlin is, how we can best leverage new and old features and the semantic and performance impacts of our implementation choices.

In this session, we will examine some of the features released over the last couple of years in Kotlin, dive into their implementations, explore where we may need them and how we might use them, and discuss how these features fit into the broader ideas and themes of Kotlin as a language.

источник

✍️ @kotlin_lib

LitmusKt: новый инструмент для тестирования конкурентности в Kotlin

JetBrains Research представила LitmusKt - фреймворк для тестирования конкурентных сценариев в Kotlin. Он помогает исследователям и разработчикам проверять поведение многопоточных программ и JVM-памяти.

LitmusKt основан на идее litmus tests - небольших программ, моделирующих работу нескольких потоков и проверяющих возможные результаты исполнения. Такие тесты позволяют выявить неочевидные эффекты из-за reorderings, кешей и особенностей модели памяти.

Основные возможности LitmusKt:

- Поддержка JVM и Kotlin/Native;
- Встроенные модели памяти (Java, Kotlin, C11, и др.);
- Автоматическая генерация всех возможных интерлеавингов потоков;
- Проверка ожидаемых и неожиданных исходов;
- Интеграция с Kotlin DSL для лаконичного описания тестов.

Пример теста:

litmus("StoreLoad") {
    thread("T1") { x = 1; r1 = y }
    thread("T2") { y = 1; r2 = x }
    outcome { r1 == 0 && r2 == 0 } // недопустимо по Java Memory Model
}

Этот пример проверяет, может ли оба потока одновременно прочитать нули, что нарушает JMM.

Инструмент можно использовать для анализа оптимизаций компилятора, JVM и нового Kotlin Memory Model.

https://blog.jetbrains.com/research/2025/10/litmuskt-concurrency-testing/

✍️ @kotlin_lib

Kotlin: расширенные функции-расширения для набора инструментов старшего разработчика

Функции-расширения в Kotlin — это мощный механизм, позволяющий добавлять новую функциональность к уже существующим классам без необходимости наследоваться от них. Большинство разработчиков знакомы с базовым применением, однако набор инструментов опытного разработчика должен включать более продвинутые и тонкие решения, которые элегантно и эффективно закрывают распространённые задачи.

Этот материал не о банальных toPx() или showToast() расширениях. Здесь мы углубимся в функции, которые способны существенно переработать ваш код, улучшить читаемость и сократить шаблонный код.

https://pbs009.medium.com/kotlin-custom-extension-functions-for-a-senior-developers-toolkit-110b061a8b43

✍️ @kotlin_lib

Проектирование Kotlin за пределами выводимого типа | Росс Тейт

Программисты на Kotlin регулярно опускают неинформативные типы в своих программах. Это делает разработку быстрее, код — легче для чтения, а сопровождение — менее трудоёмким. Но это также означает, что язык Kotlin должен быть спроектирован так, чтобы компиляторы могли надёжно принимать программы без этих типовых подсказок. Мы называем это выводом типов, но по определению вывод типов означает, что компилятор должен определить пропущенные типы так, чтобы программа успешно прошла проверку типов.

Но что, если мы можем определить, что программа безопасна, не определяя эти отсутствующие типы? Что, если мы можем сделать это даже тогда, когда таких типов в принципе не существует? И что, если мы можем сделать это эффективнее любого алгоритма вывода типов? Исследуя алгоритмы типизации следующего поколения для Kotlin, мы обнаружили, что можем эффективно выйти за пределы возможностей вывода и проверки типов. Мы разработали алгоритм «type-outference» (внешнего вывода типов), который эффективно определяет «согласованность типов» — свойство, которому удовлетворяют все программы, выводимые и проверяемые по типам (но не наоборот).

Хотя вывод типов остаётся важным для обратной связи и этапа компиляции, согласованность типов — куда более гибкое свойство, а type-outference задаёт ясные принципы для проектирования возможностей языка, которые можно эффективно проверять. В этом докладе, представив ключевые идеи, мы покажем, как они направляют создание ожидаемых и гипотетических возможностей Kotlin: объединённые типы для ошибок, условное наследование для типобезопасного сравнения значимых типов и неявную полиморфность для невыплывающих ссылок.

источник

✍️ @kotlin_lib