Вопросы с тегом «continuations»

В чем разница между сопрограммой и продолжением и генератором?

147 generator  continuations  coroutine 

Я просматривал всю сеть в поисках информации о продолжениях, и мне ошеломляет, как простейшие объяснения могут так сильно сбить с толку такого программиста на JavaScript, как я. Это особенно верно, когда в большинстве статей объясняются продолжения с помощью кода на Scheme или используются монады. Теперь, когда я, наконец, думаю, что …

133 javascript  continuations  callcc  continuation-passing 

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

85 scala  scala-2.8  continuations  delimited-continuations 

Может ли кто-нибудь быть достаточно любезным, чтобы подтвердить, правильно ли я понял ключевое слово Async await? (Используется версия 3 ОСАГО) До сих пор я выяснил, что вставка ключевого слова await перед вызовом метода, по сути, делает 2 вещи: A. Он создает немедленный возврат и B. Он создает «продолжение», которое вызывается …

81 c#  async-await  continuations  async-ctp 

Я только что сделал любопытное замечание относительно Task.WhenAllметода при работе на .NET Core 3.0. Я передал простую Task.Delayзадачу в качестве единственного аргумента Task.WhenAllи ожидал, что завернутая задача будет вести себя идентично исходной задаче. Но это не так. Продолжения исходной задачи выполняются асинхронно (что желательно), а продолжения кратныTask.WhenAll(task) оболочек выполняются синхронно …

14 c#  .net-core  async-await  task-parallel-library  continuations 

Как монаду состояния можно разложить на Product (слева - функтор) и Reader (справа - представимый). Есть ли способ разложить монаду продолжения? Ниже код моя попытка, которая не проверяет тип -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type (<-:) o i …

11 haskell  monads  continuations  category-theory  comonad