Объяснение direct-style эффектов

В сфере искусственного интеллекта произошло заметное событие. Underskyer1 14 минут назад Объяснение direct-style эффектов Средний 14 мин 590 Функциональное программирование * Scala * Обзор Перевод Автор оригинала: Noel Welsh Императивные эффекты (direct-style effects), также известные как «алгебраические эффекты» и «обработчики эффектов», — это следующий шаг в развитии языков программирования. Они уже доступны в Unison и OCaml, появятся в Scala, и я вижу обсуждения о них в других областях, тесно связанных с индустрией. Цель очень проста: позволить нам писать код в естественном стиле без упоминания монад, но при этом получать преимущества логической корректности и композиции, которые предоставляют монады.

В то же время я вижу некоторую путаницу в отношении императивных эффектов. В данном статье я хочу устранить эту путаницу, объяснив, что такое императивные эффекты, почему они нужны и как их использовать в Scala 3. Сначала мы обсудим проблему и связанные с нею ограничения.

Технические детали

Затем рассмотрим простую реализацию на Scala 3 и опишем языковую особенность, которая её обеспечивает — контекстные функции. Далее мы увидим некоторые недостатки этой реализации и посмотрим, как их можно решить с помощью двух языковых особенностей: одной хорошо известной (ограниченные продолжения) и одной, находящейся в разработке (нововведения в системе типов). Что для нас важноКогда мы отстаиваем один стиль программирования перед альтернативами, мы выносим оценочное суждение о программировании.

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

" data-abbr="основными ценностями функционального программирования">основными ценностями функционального программирования являются рассуждение и композиция. Побочные эффекты мешают нам достичь и того, и другого, но каждая полезная программа должна каким-то образом взаимодействовать с миром. (Если вы не уверены, что подразумевается под побочным эффектом, эта глава книги «Creative Scala» подробно это объясняет.

Отраслевые последствия

) Поэтому замена побочных эффектов чем-то, соответствующим этим основным принципам, считается важной проблемой в функциональном программировании. Решения этой проблемы называются системами эффектов . Примечание: в этом посте я использую термин «побочный эффект» для обозначения неконтролируемых эффектов, а просто «эффект» — для эффектов, которые контролируются более желательным способом.

Монады — наиболее распространённая система эффектов в современном функциональном программировании, но это не значит, что это единственный подход. В более старых версиях Haskell использовались потоки.

Событие, по словам экспертов, усилит конкуренцию в сфере ИИ.