Я пишу интерпретатор brainfuck на Haskell и придумал, как мне кажется, очень интересное описание программы :data Program m = Instruction (m())(Программа m )|...
Можно ли удалить некоторые типы из следующего кода: import util.continuations._ object TrackingTest extends App { implicit def trackable(x: Int) = new { def tracked[R] = shift { cf: (...
Может ли кто-нибудь привести относительно простой пример различий в Racket между вызовом с компонуемым-продолжением и вызовом-с-текущим-продолжением. Я проработал примеры в Racket...
Я использую библиотеку Netty (версия 4 от GitHub). Он отлично работает в Scala, но я надеюсь, что моя библиотека сможет использовать стиль передачи продолжения для асинхронного ожидания. Традиционно ...
Я пытаюсь найти, как реализован call/cc. Лучшее, что я нашел, это фрагмент на Haskell: callCC f = Cont $ \k -> runCont (f (\a -> Cont $ \_ -> k a)) k Хотя это не так просто, как...
У меня нет формальных знаний о продолжениях, и мне интересно, может ли кто-нибудь помочь мне проверить и понять написанный мной код :) . Проблема Основная проблема, которую я пытаюсь решить, - это преобразовать ...
У нас очень высокопроизводительное многозадачное приложение C #, работающее почти в реальном времени. Эта производительность была достигнута в основном за счет реализации совместной многозадачности внутри компании с помощью собственного планировщика. ...
мотивация. Я пытаюсь создать преобразователь монад со специальной инструкцией f <||> g, которая означает «повторить весь этот блок, содержащий f <||> g, один раз с f, в следующий раз с g». Это ...
Я пытаюсь освоить Smalltalk / Seaside. Согласно Википедии, «Seaside - это фреймворк для веб-приложений, основанный на продолжении». Исходя из фона Java, я не очень знаком с ...
Мы реализовали функцию в нашем веб-приложении, которая обновляет графический интерфейс в ответ на новые события на сервере с помощью продолжений Play, как в чате. После запуска в течение некоторого времени в ...
Я хотел узнать кое-что о продолжении, напечатал несколько примеров из некоторых статей с помощью метода callcc, и я получил error: NoMethodError: undefined метод `callcc 'для main: Object
from (pry): ...
Предположим, в C++ вы делаете слишком много рекурсивных вызовов рекурсивной функции и получаете ошибку переполнения стека. Как бы вы переписали это в стиле continuation-passing, чтобы избежать переполнения стека? ...
У меня есть GUI на куче LINQ-запросов. Выполнение запросов занимает некоторое время, поэтому я хотел бы, чтобы GUI был отзывчивым и показывал индикаторы занятости и индикаторы выполнения. Многие из запросов относятся к ...
В своей дипломной работе я решил выполнить задачу конкурса ICFP 2004. Задача - как я перевел ее себе - состоит в том, чтобы написать компилятор, который переводит высокоуровневый язык муравьев на низкоуровневый ...
Предположим, у меня есть функция сна: Def Sleep (задержка: int): @suspendable = {....
} Возможно ли иметь функциональное будущее, которое создает Async версию функции сна, которая может быть ...
Отказ от ответственности: прежде, чем кто-то это скажет: да, я знаю это плохой стиль и не поощряется. Я просто делаю это, чтобы поиграть со Scala и попытаться узнать больше о том, как работает система вывода типов и как ...
Раньше я работал над IronLua в свободное время. В настоящее время выполняется лексирование и синтаксический анализ. Я перестал работать над этим из-за разочарования с тех пор, как реализовал сопрограммы Lua в .NET, не прибегая к ...
Это вопрос о продолжениях Scala. Могут ли сбросы быть вложенными? Если могут: для чего полезны вложенные сбросы? Есть ли какой-нибудь пример вложенного сброса?
Из этого сообщения в блоге я понимаю, как реифицируется одиночный сдвиг внутри сброса. reset {1 + shift {k: Int => Int => k (5)} + 1} преобразован в val reified = {shiftValue: Int => 1 + shiftValue + 1}; ...
Предположим, я хотел бы поймать исключение, исправить проблему, вызвавшую исключение, и вернуть до той же точки выполнения, где возникло исключение, чтобы продолжить. Как я могу реализовать это с помощью ...
Scala newbie here, I just downloaded Eclipse 3.6.2 and Scala IDE 2.0.0-beta4 (with Scala 2.9.0.final). I create a new Scala project to try delimited continuations: package delimCCTests import scala....
Я думаю, разница между разделенными и неограниченными продолжениями похожа на разницу между вызовом и переходом. Если мы вызовем продолжение с разделителями, оно вернется к вызывающему после завершения. ...
Is it correct that reset requires shift inside the block? I tried it and got the following: scala> reset {} error: cannot cps-transform expression (): type arguments [Unit,Unit,Nothing]
do not ...
Я нашел хорошую статью о вызове с текущими шаблонами продолжения. Насколько я понимаю, они используют Scheme и безлимитные продолжения. Можно ли реализовать шаблоны из статьи на Scala? Is ...
У кого-нибудь есть хорошее руководство по как это устроено? Было бы неплохо что-нибудь с наглядными пособиями, все руководства, с которыми я сталкивался, кажется, говорят одно и то же, мне нужно по-новому взглянуть на это.
Библиотека Pluto для Lua утверждает, что может сериализовать совместные подпрограммы Lua. Я интерпретирую это как «сериализуемые продолжения», что является важной функцией для создания асинхронного программирования ...
I've tried to use Task.Factory.ContinueWhenAll() a few times now with the intent of invoking a continuation only when all the antecedents run to completion without any errors or cancellations. Doing ...