delimited-continuations

API для многопрограммных разделенных продолжений описывается в статьеразделенное управление в OCaml, абстрактно и конкретно системное описание . Мой вопрос касается типа push_subcont : ('a,'b) subcont -> (unit -> 'a) -> 'b. Почему этот тип не ('a,'b) subcont -> 'a -> 'b? Кроме того, почему сущ...

Я понимаю, что это противоречит обычному смыслу SO вопросов, но следующий код работает, хотя я думаю, что он не должен работать. Ниже приведена небольшая программа Scala, которая использует продолжения с циклом while. Согласно моему пониманию стиля передачи продолжения, этот код должен вызывать ошибку переп...

Я пытаюсь понять продолжение в целом, следуя этому учебнику. Однако мне трудно понять следующий пример в разделе 2.10: # let get () = shift (fun k -> fun state -> k state state) ;; get : unit => ’a = <fun> state это типа int я полагаю. Чего я не понимаю, так это типа k. Согласно моему...

Я только что закончил программирование в Scala, и я изучал изменения между Scala 2.7 и 2.8. Тот, который кажется самым важным, - это плагин continuations, но я не понимаю, для чего он полезен или как он работает. Я видел, что это хорошо для асинхронного ввода/вывода, но я не смог выяснить, почему. Некоторые и...