Запитання з тегом «continuations»

Яка різниця між співпрограмою та продовженням та генератором?

147 generator  continuations  coroutine 

Я переглядав всю мережу в Інтернеті, шукаючи просвітлення щодо продовження, і я маю на увазі хизуватися, як найпростіші пояснення можуть настільки заплутати програміста JavaScript, як я. Це особливо актуально, коли більшість статей пояснюють продовження коду в Схемі або використовують монади. Тепер, коли я нарешті думаю, що я зрозумів суть продовження, …

133 javascript  continuations  callcc  continuation-passing 

Я щойно закінчив програмування в Scala і вивчаю зміни між Scala 2.7 та 2.8. Найбільш важливим є плагін для продовжень, але я не розумію, для чого він корисний і як він працює. Я переконався, що це добре для асинхронного вводу-виводу, але мені не вдалося з’ясувати, чому. Деякі з найбільш популярних …

85 scala  scala-2.8  continuations  delimited-continuations 

Чи може хтось, будь ласка, підтвердити, чи правильно я зрозумів ключове слово Async await? (Використання версії 3 CTP) До цього часу я розробив, що вставлення ключового слова await перед викликом методу, по суті, робить 2 речі: A. Це створює негайне повернення, а B. Створює "продовження", яке викликається після завершення виклику …

81 c#  async-await  continuations  async-ctp 

Ось як визначається монада Cont: newtype Cont r a = Cont { runCont :: (a -> r) -> r } instance Monad (Cont r) where return a = Cont ($ a) m >>= k = Cont $ \c -> runCont m $ \a -> runCont (k a) c Не могли …

77 haskell  monads  continuations 

Щойно я зробив цікаве спостереження щодо Task.WhenAllметоду під час роботи на .NET Core 3.0. Я передав просте Task.Delayзавдання як єдиний аргумент Task.WhenAll, і я очікував, що завершене завдання буде поводитися однаково з початковим завданням. Але це не так. Продовження початкового завдання виконується асинхронно (що бажано), а продовження декількох Task.WhenAll(task)обгортків виконується …

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

Оскільки державна монада може бути розподілена на продукт (ліворуч - функціонер) та читач (справа - представницький). Чи є спосіб факторизувати продовження Монади? Нижче коду - моя спроба, яка не перевіряю тип -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, TypeSynonymInstances #-} type (<-:) …

11 haskell  monads  continuations  category-theory  comonad