Александр Нозик — Kotlin и контекстно-ориентированное мышление

Пересказ

Тезисы

• Контекстные параметры/ресиверы являются одной из самых долгожданных функций в Kotlin, сравнимой с Project Valhalla в Java, и призваны обеспечить мощные инструменты для управления контекстом. 0:57
• Контекстно-ориентированное программирование, определяемое как изменение поведения объектов или методов в зависимости от их окружения, имеет долгую историю, начиная с Haskell и Smalltalk, с попытками реализации в Scala (implicits) и Java. 5:27
• В Kotlin уже существуют механизмы работы с контекстом, такие как `this` для области видимости класса и объекта, вложенные объекты и, особенно, функции-расширения с ресиверами, которые явно определяют контекст выполнения функции. 13:01
• Ранние подходы к расширению контекстов в Kotlin включали конкурирующие предложения: «Compile Time Extension Interfaces» (похожие на тайп-классы Scala) и «Multiple Receivers» (явное разрешение нескольких ресиверов). 24:05
• В Kotlin 1.7 были введены контекстные ресиверы с ключевым словом `context`, позволяющие передавать дополнительные контексты и динамически изменять поведение функций в зависимости от загруженного контекста. 28:30
• Эта новая функциональность позволяет более гибко структурировать код, улучшает читаемость и поддерживаемость, а также открывает новые возможности для оптимизации, например, в математических операциях. 30:56
• Финальная и стабилизированная версия, KIP-36, представляет *контекстные параметры*, которые являются именованными, что решает проблемы неоднозначности при обращении к нескольким контекстам и позволяет явно ссылаться на них по имени. 33:19
• Контекстные параметры значительно улучшают неявную передачу параметров, управление жизненным циклом ресурсов, создание типобезопасных маркерных скоупов, разработку DSL и упрощают внедрение зависимостей. 34:17
• Внедрение контекстных параметров ожидается как радикальное изменение в подходе к разработке библиотек в Kotlin, предлагая улучшенную модульность и дизайн. 44:50