continuation-passing

-1зной

2ответ

Определение связывания в двойном бочковом продолжении Монада в Haskell

Попытка определить привязку для этой монады в haskell. Если расчет завершается успешно, он вызывает продолжение SCont, если он не работает, он вызывает продолжение FCont. type M a = SCont a -> FCont -

0зной

1ответ

Каков тип переменных в chainCPS?

Я смотрю на continuation passing style tutorial и не могу понять типы в следующей функции. chainCPS :: ((a -> r) -> r) -> (a -> ((b -> r) -> r)) -> ((b -> r) -> r) chainCPS s f k = s z where

0зной

1ответ

Каковы хорошие способы избежать копирования, если вызывающему абоненту метода не требуется владение данными?

Вот проблема, о которой я думал в последнее время. Скажем, наш интерфейс - это функция-член, которая возвращает объект, который стоит скопировать и дешево перемещать (std :: string, std :: vector, et

0зной

1ответ

Написание интерпретатора для языка с перерывами

Я пытаюсь написать интерпретатор для простого языка программирования на Схеме. Прямо сейчас, я пишу процедуру для обработки while-loops с операторами break. Чтобы подойти к этой проблеме, я использую

3зной

2ответ

Как обернуть закодированное вычисление состояния в государственной монаде?

У меня есть вычисления в таком формате: s -> a -> s, где s - тип некоторого состояния. Результатом такой функции является также состояние следующей оценки. Например, appendInt :: String -> Int -> Stri

2зной

3ответ

Хвостовая рекурсия в F #: Переполнение стека

Я пытаюсь реализовать алгоритм косарайю на большой граф как часть назначения [Mooc Algo Я Stanford на Coursera] https://en.wikipedia.org/wiki/Kosaraju%27s_algorithm текущий код работает на небольшой г

6зной

4ответ

Определить комбинацию фиксированных точек в продолжении Проходной стиль

fix-point combinators - очень полезные инструменты для введения рекурсии. Continuation-Passing style - это стиль исчисления лямбда, функции которого никогда не возвращаются. Вместо этого вы передаете