Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Система, описывающая вычислительные эффекты компьютерных программ
System which describes the computational effects of computer programs
В информатике система эффектов — это формальная система, описывающая вычислительные эффекты компьютерных программ, такие как побочные эффекты. Система эффектов может использоваться для обеспечения проверки возможных эффектов программы на этапе компиляции. Система эффектов расширяет понятие типа, добавляя компонент "эффект", который состоит из вида эффекта и области. Вид эффекта описывает, какое действие выполняется, а область — с чем (какими параметрами) это действие выполняется. Система эффектов обычно является расширением системы типов. В этом случае иногда используется термин "система типов и эффектов". Часто тип значения обозначается вместе с его эффектом как тип ! эффект, при этом как компонент типа, так и компонент эффекта ссылаются на определенные области (например, тип изменяемой ячейки памяти параметризуется меткой области памяти, в которой эта ячейка находится). Термин "алгебраический эффект" вытекает из системы типов. Системы эффектов могут использоваться для доказательства внешней чистоты определенных внутренних нечистых определений: например, если функция внутри себя выделяет и изменяет область памяти, но тип функции не упоминает эту область, то соответствующий эффект может быть удален из эффекта функции.
In computing, an effect system is a formal system that describes the computational effects of computer programs, such as side effects. An effect system can be used to provide a compile time check of the possible effects of the program. The effect system extends the notion of type to have an "effect" component, which comprises an effect kind and a region. The effect kind describes what is being done, and the region describes with what (parameters) it is being done. An effect system is typically an extension of a type system. The term "type and effect system" is sometimes used in this case. Often, a type of a value is denoted together with its effect as type ! effect, where both the type component and the effect component mention certain regions (for example, a type of a mutable memory cell is parameterized by the label of the memory region in which the cell resides). The term "algebraic effect" follows from the type system. Effect systems may be used to prove the external purity of certain internally impure definitions: for example, if a function internally allocates and modifies a region of memory, but the function's type does not mention the region, then the corresponding effect may be erased from the function's effect.
Основная особенность
Koka — это статически типизированный функциональный язык программирования, ключевой особенностью которого являются алгебраические обработчики эффектов. Eff — это статически типизированный функциональный язык программирования, в основе которого лежат алгебраические обработчики эффектов. Unison — это статически типизированный функциональный язык программирования, в котором алгебраические обработчики эффектов (называемые в языке "способностями") являются неотъемлемой частью системы типов. Effekt — это исследовательский язык, ориентированный на обработчики эффектов и полиморфные эффекты.
Koka is a statically typed functional programming language with algebraic effect handlers as a main feature. Eff is a statically typed functional programming language centered around algebraic effect handlers. Unison is a statically typed functional programming language with algebraic effect handlers (called "abilities" in the language) as a core part of the type system. Effekt is a research language centered around effect handlers and polymorphic effects.
Полная поддержка
Хаскелл — это статически типизированный функциональный язык программирования, имеющий несколько пакетов для кодирования эффектов. Однако, в Хаскелле в основном используется подход, основанный на монадах. OCaml 5.0 представил поддержку экспериментальных примитивов для обработки эффектов, с планами по внедрению полноценного синтаксиса высокого уровня в будущем.
Haskell is a statically typed functional programming language with several packages that allow for encoding of effects. However, Haskell is generally more focused on monads. OCaml 5.0 introduced support for experimental effect handler primitives, with plans to introduce a proper high level syntax in the future.
Частичная поддержка и прототипы
Scala 3.1 — это статически типизированный, функциональный и объектно-ориентированный язык программирования с экспериментальной поддержкой эффектов, ограниченной исключениями, представленными возможностью CanThrow. Java — это статически типизированный, объектно-ориентированный язык программирования; его контролируемые исключения являются относительно ограниченным примером системы эффектов. Доступен только один вид эффекта — выбрасывание исключений (throws), нет возможности продолжить выполнение со значением, и их нельзя использовать с функциями (только с методами), если функция не реализует пользовательский @FunctionalInterface. JavaScript — это динамически типизированный язык, для которого существует предложение по реализации алгебраических эффектов.
Scala 3.1 is a statically typed, functional and object oriented programming language with experimental support for effects that is limited to exceptions, in the form of a CanThrow capability. Java is a statically typed, object oriented programming language; its checked exceptions are a relatively limited example of an effect system. Only one effect kind — throws — is available, there is no way to resume with a value, and they cannot be used with functions (only methods) unless the function implements a custom @FunctionalInterface. JavaScript is a dynamically typed language, it has a proposal that implements algebraic effects.