Вопросы по теме 'continuations'
Являются ли продолжениями монадами?
Можно ли сказать, что продолжения являются монадами? Являются ли они подмножеством монад или просто способом реализации монад?
Изменить: Или, может быть, я ошибся и монады - более абстрактное понятие, чем продолжения ? (Так что я...
4395 просмотров
schedule
24.05.2022
Простое решение, необходимое для асинхронных продолжений jBPM в среде Seam
У меня есть приложение Seam, которое запускает бизнес-процессы. На данный момент нет другого приложения или компонента, который нужно координировать, есть только одно веб-приложение.
Я хотел бы использовать асинхронные продолжения в...
782 просмотров
schedule
21.09.2022
Простейший пример обратного продолжения в схеме без явной мутации
Я написал небольшой интерпретатор Scheme на C# и понял, что так, как я его реализовал, было очень легко добавить поддержку правильных продолжений.
Итак, я добавил их... но хочу «доказать», что то, как я их добавил, правильно.
Однако мой...
570 просмотров
schedule
21.11.2022
Продолжения на Java
Есть ли на Java хорошая реализация продолжений?
Если да, то каковы накладные расходы? JVM не была разработана для такого рода вещей, верно? Так идет ли это против течения?
16661 просмотров
schedule
23.03.2023
Что такое продолжения Scala и зачем их использовать?
Я только что закончил Программирование на Scala , и я изучал изменения между Scala 2.7 и 2.8. Самым важным кажется плагин продолжения, но я не понимаю, для чего он полезен и как работает. Я видел, что это хорошо для асинхронного ввода-вывода, но...
23905 просмотров
schedule
09.06.2023
Реализация yield (yield return) с использованием продолжений Scala
Как можно реализовать C # yield return , используя продолжения Scala? Я хотел бы иметь возможность писать Scala Iterator s в том же стиле. В комментариях к этому сообщению новостей Scala есть удар, но он не работает (пробовал использовать...
7094 просмотров
schedule
01.06.2023
Продолжение (call / cc) в схеме
Мне нужно понять «Продолжения в схеме» для предстоящих экзаменов, и я вообще не имею представления о продолжениях. Может ли кто-нибудь предложить мне источники того, как продолжить обучение?
С уважением,
смуглый
3334 просмотров
schedule
17.04.2022
CPS/Continuations StackOverflowError для (хвостовых) рекурсивных функций
есть ли способ иметь функцию хвостовой рекурсии внутри CPS, не вызывающую StackOverflow?
import scala.util.continuations._
object CPSStackOverflow {
def main(args: Array[String]) = {
reset {
def recurse(i: Int): Unit @suspendable = {...
646 просмотров
schedule
23.07.2023
Склонно ли программирование в стиле продолжения к переполнению стека
В ответ на этот вопрос об эффектах jQuery я подумал об использовании аргумента callback для .fadeIn( 500, my_function ) .
Хотя, в принципе, это жизнеспособная идея, я понятия не имею (как и документация jQuery :()), разрешено ли обратному...
416 просмотров
schedule
29.05.2023
Компилятор CPS для реализации сопрограммы
Раньше я работал над IronLua в свободное время. В настоящее время выполняется лексирование и синтаксический анализ. Я как бы прекратил работать над этим из-за разочарования, поскольку реализовать сопрограммы Lua в .NET, не прибегая к грязным хакам с...
599 просмотров
schedule
27.06.2022
Продолжение передачи стиля представления типов
Предположим, у нас есть монада, определяемая return , (>>=) и набором законов. Есть тип данных
newtype C m a = C { unC ∷ forall r. (a → m r) → m r }
также известный как Codensity . C m a ≅ m a учитывая, что m является Monad ,...
1059 просмотров
schedule
31.08.2023
Какое текущее продолжение в следующем выражении?
В выражении (call/cc (lambda (k) (k 12))) есть три продолжения: (k 12) , (lambda (k) (k 12)) и (call/cc (lambda (k) (k 12))) . Какой из них является "текущим продолжением"?
А продолжения в некоторых книгах рассматриваются как процедура,...
77 просмотров
schedule
23.12.2022
Летрек и реентерабельные продолжения
Мне сказали, что следующее выражение предназначено для вычисления 0, но многие реализации Scheme оценивают его как 1:
(let ((cont #f))
(letrec ((x (call-with-current-continuation (lambda (c) (set! cont c) 0)))
(y...
347 просмотров
schedule
26.04.2022
Подсчет узлов в дереве
борьба с f # - борьба в царстве деревьев - специально для подсчета количества узлов. Это представляет реальный интерес, поскольку программа, которую я хотел бы в конечном итоге написать на F #, касается многопутевых деревьев, к сожалению, ее начало...
1750 просмотров
schedule
08.04.2022
boost::future и continue — значение установлено, но future по-прежнему блокируется
Я пытаюсь заставить работать следующее продолжение, но f.get() блокирует. Что не так?
#include <iostream>
#define BOOST_THREAD_PROVIDES_FUTURE
#define BOOST_THREAD_PROVIDES_FUTURE_CONTINUATION
#include <boost/thread/future.hpp>...
1120 просмотров
schedule
18.10.2022
Какая связь между шаблоном async/await и продолжениями?
Мне интересно, какая связь между шаблоном async / await (известным из Scala, F#, C# и т. д.) и продолжениями:
Является ли паттерн async / await ограниченным набором полномасштабных продолжений? (Если да, то как продолжения более...
401 просмотров
schedule
05.05.2022
Как использовать Jetty Continuations в Dropwizard?
У меня есть метод ресурса, который выглядит так:
@Path("/helloworld")
@GET
public Response sayHello(@Context HttpServletRequest request)
throws InterruptedException {
Continuation c = ContinuationSupport.getContinuation(request);...
315 просмотров
schedule
04.05.2022
SICP, стиль прохождения продолжения и батут Clojure
Я работаю с SICP, и упражнение 2.29-b дало мне возможность повеселиться со стилем передачи продолжений при обходе мобильных и ответвлений.
Короче говоря, у каждого мобильного телефона есть левая и правая ветви, которые состоят из длины и либо...
947 просмотров
schedule
16.05.2023
интерпретировать лямбда-му-исчисление Париго в Haskell
Можно интерпретировать лямбда-исчисление в Haskell:
data Expr = Var String | Lam String Expr | App Expr Expr
data Value a = V a | F (Value a -> Value a)
interpret :: [(String, Value a)] -> Expr -> Value a
interpret env (Var x) = case...
812 просмотров
schedule
06.08.2022
Реализовать выход и отправить в схеме
Я пытаюсь перенести yield и yield from с Python на Scheme.
Вот реализация, которую я сделал:
(define (coroutine routine)
(let ((current routine)
(status 'new))
(lambda* (#:optional value)
(let ((continuation-and-value...
1509 просмотров
schedule
10.09.2022