Это перевод статьи An introduction to context-oriented programming in Kotlin
В этой статье я постараюсь описать новое явление, которое возникло как побочный результат увлекательного развития языка Kotlin. Речь идет о новом подходе к проектированию архитектуры приложений и библиотек, который я назвал контекстно-ориентированным программированием.
...
На данный момент разработка в контекстном подходе ограничена тем фактом, что нужно определять расширения, чтобы получить какое-то ограниченное контекстом поведение класса. Это нормально, когда речь идет о пользовательском классе, но что если мы хотим то же самое для класса из библиотеки? Или если мы хотим создать расширение для уже ограниченного в области поведения (например, добавить какое-то расширение внутрь CoroutineScope)? На данный момент Kotlin не позволяет функциям-расширениям иметь более одного получателя. Но множественные получатели можно было бы добавить в язык, не нарушая обратной совместимости. Возможность использования множественных получателей сейчас обсуждается (KT-10468) и будет оформлена в виде KEEP-запроса (UPD: уже оформлена). Проблема (или, может быть, фишка) вложенных контекстов - в том, что они позволяют покрыть большинство, если не все, варианты использования типовых классов (type-classes), другой очень желанной из возможный фич. Довольно маловероятно, что обе эти фичи будут реализованы в языке одновременно.
...
Я хочу поблагодарить нашего дружественного формалиста формалиста и любителя Haskell Алексея Худякова за его замечания по тексту статьи и поправки по моему достаточно вольному использованию терминов. Также благодарю Илью Рыженкова за ценные замечания и вычитку английской версии статьи.
...