используя подключаемый модуль компилятора CPS Scala 2.8, есть два волшебных элемента управления reset и shift . Сброс ограничивает продолжение, а сдвиг фиксирует продолжение. Существует пример использования CPS с NIO с использованием...

Предположим, есть блок reset с одним shift : val r = reset { // do smth. 1 shift {...} // do smth. 2 // do smth. 3 } Правильно ли я ставлю shift после "сделать что-то 2" или "сделать что-то 3" без изменения результата r ?...

Существует хорошо известная проблема, заключающаяся в том, что мы не можем использовать типы forall в возврате Cont тип . Однако должно быть нормально иметь следующее определение: class Monad m => MonadCont' m where callCC' :: ((a...

Тема ограниченных продолжений почти не обсуждалась среди энтузиастов языков программирования в 1990-х и 2000-х годах. В последнее время он снова стал одним из основных в дискуссиях о языках программирования. Я надеюсь, что кто-то сможет хотя бы...