🏝 В Kotlin 2.2.20 прокачали contracts — механизм, который позволяет компилятору делать больше проверок на этапе компиляции и давать дополнительные гарантии.

❗️ Все новые функции пока экспериментальные — их использование требует аннотаций или специальных флагов компилятора.

1️⃣ Контракты в get/set у property

val Any.isHelloString: Boolean
    get() {
        contract { returns(true) implies (this@isHelloString is String) }
        return "hello" == this
    }

2️⃣ returnsNotNull() — новая функция в контрактах, которая гарантирует, что функция вернёт не null

fun decode(encoded: String?): String? {
    contract { (encoded != null) implies (returnsNotNull()) }
    if (encoded == null) return null
    return java.net.URLDecoder.decode(encoded, "UTF-8")
}

3️⃣ holdsIn() — новая функция, которая позволяет зафиксировать, что условие будет true в пределах указанной лямбды
Документация

fun <T> T.alsoIf(
    condition: Boolean,
    block: (T) -> Unit,
): T {
    contract {
        // Объявляет, что лямбда будет вызвана не более одного раза
        callsInPlace(block, InvocationKind.AT_MOST_ONCE)
        // Объявляет, что условие считается истинным внутри лямбды
        condition holdsIn block
    }
    if (condition) block(this)
    return this
}

4️⃣ Поддержка generic типов в контрактах типов

fun <T, F : Failure> Result<T, F>.isHttpError(): Boolean {
    contract {
        returns(true) implies (this@isHttpError is Result.Failed<Failure.HttpError>)
    }
    return this is Result.Failed && this.failure is Failure.HttpError
}

✨ Зачем это нужно

Контракты помогают компилятору и IDE лучше понимать поведение функций и условий в коде. Это значит: меньше лишних !!, меньше кастов типов, больше подсказок от IDE и меньше багов на рантайме. По сути, вы даёте компилятору «дополнительные знания», и он становится умнее при анализе вашего кода.

#kotlin

Модели голодны: JetBrains по умолчанию будет обучать нейронки на вашем коде

🔘Если сидите на бесплатной некоммерческой лицензии (учёба, pet‑проекты), IDE начнёт автоматически отправлять данные: фрагменты кода, промпты к ИИ, команды терминала и историю правок. Фича, которую никто не ждал, будет работать по умолчанию.

🔘Для компаний условия «вкуснее»: годовой All Products Pack (обычно $979 за пользователя) в обмен на согласие делиться данными из проектов.

🔘Соглашение на передачу данных появится в версии IDE 2025.2.4, которая выйдет в ближайшие недели. Галочку можно снять в настройках — главное, не забыть 😏

Советы по работе с AI-агентами для начинающих

На днях посмотрел отличный доклад от Евгения Сатурова на Podlodka AI Crew о страхах разработчиков и типичных ошибках при работе с AI-агентами.

Я делал точно такие же ошибки, поэтому поделюсь советами с вами:

🔘 Выбирайте лучшую доступную модель на сегодня, не используйте auto-режим в Cursor и подобных инструментах.
🔘 Не пишите задачи напрямую. Формулируйте мета-промпт с описанием задачи для модели, чтобы она составила вам подробный таск-промпт.
🔘 В мета-промпте пишите, что вы хотите сделать, а не как, избегайте чрезмерной специфики.
🔘 Прикладывайте весь необходимый контекст. Плохо, когда модель начинает делать семантический поиск по проекту.
🔘 Не дробите задачу слишком сильно — это неэффективно. Современные модели могут достаточно долго работать автономно, главное не вылезти за контекст. По возможности используйте сабагентов.
🔘 Не вступайте в споры с моделью и не правьте код руками. Просто откажитесь от сгенерированного кода, обновите таск-промпт, правила проекта и попробуйте снова.

💬 Делитесь в комментариях своими лучшими практиками по работе с AI-агентами.

#AI

Анна Жаркова на CrossConf 2025
 
17 октября в Москве пройдет CrossConf 2025 — крупнейшая в России и СНГ конференция о кроссплатформенных технологиях.
 
В программе — пять потоков докладов про цифровые продукты, AI, кроссплатформенную разработку и технологии для бизнеса.

Рководитель мобильной практики Usetech и автор канала Записки разработчицы Анна Жаркова выступит в потоке AI с докладом «Укрощаем ИИ. Пишем свое решение для кроссплатформы»:

«Рассмотрим различные подходы к работе LLM (открытыми и не только), узнаем, как укротить мультиагентные системы и даже создать своего агента».
 
Каждый год CrossConf собирает сотни разработчиков, тимлидов, продактов, дизайнеров, СТО и руководителей бизнеса. Весь день царит атмосфера фестиваля технологий: доклады, активности от партнеров, презентации книг и живое общение за спешелти-кофе. В финале — традиционная вечеринка 🎉
 
📆17 октября. Москва, конгресс-холл МГТУ им. Баумана
🎟 Билеты уже на сайте → CrossConf. Успейте поймать со скидкой: –20% по специальному промокоду ANNA2025

🔨 Документация Apple для работы с MCP
Если вы уже пробовали работать с MCP для iOS разработки, то замечали недостаток официальных источников документации. Проблема в том что все страницы developer.apple.com с документацией для разработчиков защищены JavaScript, что делает их невидимыми для большинства LLM. Это затрудняет использование документов для обучения и работы с ИИ.

Решение
🔵Сервис переводит документацию Apple и рекомендации по работе с интерфейсом в уценку, ориентированную на ИИ.
🔵Сервис поддерживает подключение MCP-клиента к различным платформам, таким как GitHub Copilot, Claude и VSCode.
🔵Документация Apple и рекомендации по UI доступны в формате Markdown.
🔵Инструменты включают поиск и извлечение документации, а также диагностику проблем с подключением.