continuations

2зной

1ответ

Промежуточные и возвращаемые значения в стиле продолжения прохождения

Я исхожу из ООП, нефункционального фона, поэтому у меня возникли проблемы с полной визуализацией нескольких онлайн-примеров относительно continuation passing. Кроме того, функциональные языки, такие к

2зной

1ответ

Почему в этом примере синтаксического анализатора CPS используется параметр curries?

Код: type Result = string option type Parser<'a> = string -> int -> ('a -> Result) -> ('a -> Result) -> Result let win r = Some <| "Correct: " + r let lose _ = None let parse_a: Parser<char> = fu

6зной

2ответ

Как вы делаете letcc в Clojure?

В книге The Seasoned Schemer - пишет автор следующий код: (define intersectall (lambda (lset) (letcc hop (letrec ((A (lambda (lset) (cond ((null? (car lset)) (h

1зной

2ответ

Как сделать fromList ленивым в этом примере динамического программирования?

module Main where import System.Random import Data.Foldable import Control.Monad import qualified Data.Map as M import qualified Data.Vector as V import Debug.Trace

2зной

1ответ

Почему вызов OnlyOnCanceled называется?

При вызове await RunAsync(); по нижеследующему коду я ожидаю продолжение с TaskContinuationOptions.OnlyRanToCompletion продолжением для запуска, однако вызывается вызванное продолжение OnlyOnCanceled

1зной

2ответ

действительно вызывает текущее продолжение, игнорируя его собственное продолжение?

Я пытаюсь понять продолжение продолжения и Call-with-current-continue. В соответствии с этой страницы: https://en.wikipedia.org/wiki/Monad_(functional_programming)#Continuation_monad вызов с помощью м