- Квантовый эффект: рецепт для QuantumPi (arXiv)
Автор: Жак Каретт, Крис Хьюнен, Робин Карсгаард, Амр Сабри.
Аннотация: Свободные категориальные конструкции характеризуют квантовые вычисления как комбинацию двух копий обратимой классической модели, склеенных уравнениями дополнительности классических структур. Этот рецепт эффективно строит вычислительно универсальный квантовый язык программирования из двух копий Π, внутреннего языка риг-группоидов. Конструкция состоит из стрел Хьюза. Таким образом, ответьте положительно на вопрос, существует ли вычислительный эффект, превращающий обратимое классическое вычисление в квантовое: квантовый эффект. Измерения можно добавить, наложив дополнительный эффект сверху. Наша конструкция также позволяет рассуждать о квантовых программах (с измерением или без него) посредством комбинации классического рассуждения и рассуждения о дополнительности.
2.Структура для эффектов и обработчиков высшего порядка (arXiv)
Автор: Бирте ван ден Берг, Том Шриверс.
Аннотация: Алгебраические эффекты и обработчики — это модульный подход к моделированию побочных эффектов в функциональном программировании. Их синтаксис определяется в терминах сигнатуры эффективных операций, закодированных как функтор, которые подключаются к свободной монаде; их денотационная семантика определяется обработчиками в стиле fold, которые интерпретируют только свою часть синтаксиса и передают остальную часть. Однако не все эффекты являются алгебраическими: для некоторых требуется доступ к внутренним вычислениям. Например, эффекты с областью действия различают вычисления в области действия и вне области; параллельные эффекты распараллеливают вычисления, скрытые эффекты откладывают вычисления. Для этих эффектов более высокого порядка и соответствующих им обработчиков были предложены отдельные определения, что часто приводило к целесообразным и сложным определениям монад. В этой работе мы предлагаем общую структуру для эффектов высшего порядка, обобщающую алгебраические эффекты и обработчики: общую свободную монаду с сигнатурами эффектов высшего порядка и соответствующий интерпретатор. Специализация этого синтаксиса более высокого порядка приводит к различным определениям ранее определенных (ограниченный, параллельный, латентный) и новых (запись, брекетинг) эффектов. Кроме того, мы формально показываем, что наша структура теоретически верна, а также ставим различные экземпляры эффектов на формальную основу;
