raulraja
04/16/2018, 8:37 AMpakoito
04/18/2018, 5:58 PMpakoito
04/18/2018, 5:58 PMpakoito
04/18/2018, 5:58 PMpakoito
04/18/2018, 5:58 PMpakoito
04/18/2018, 5:58 PMsimon.vergauwen
04/18/2018, 6:00 PMjereksel
04/18/2018, 6:00 PMimage▾
jereksel
04/18/2018, 6:02 PMsimon.vergauwen
04/18/2018, 6:03 PMpakoito
04/18/2018, 6:03 PMpakoito
04/18/2018, 6:03 PMpakoito
04/18/2018, 6:03 PMjereksel
04/18/2018, 6:04 PMpakoito
04/18/2018, 6:04 PMpakoito
04/18/2018, 6:04 PMsimon.vergauwen
04/18/2018, 6:04 PMpakoito
04/18/2018, 6:05 PMpakoito
04/18/2018, 6:05 PMpakoito
04/18/2018, 6:05 PMpakoito
04/18/2018, 6:05 PMpakoito
04/18/2018, 6:05 PMjereksel
04/18/2018, 6:07 PMraulraja
04/18/2018, 8:45 PMEffect
or Async
?raulraja
04/18/2018, 8:46 PMBeing able to run code in a different context of execution (i.e. thread) than the current one implies that, even if it’s part of a sequence, the code will have to be asynchronous. Running asynchronous code always requires > a callback after completion on error capable of returning to the current thread.
The same way the typeclass Monad represents a sequence of events, and MonadError a sequence that can fail, the typeclass Async represents asynchronous code with a callback. Examples of that can run code asynchronously are typically datatypes that can suspend effects, and delay evaluation.
pakoito
04/19/2018, 1:57 AMpakoito
04/19/2018, 1:57 AMdh44t
04/19/2018, 12:23 PMdomfox
04/24/2018, 7:04 AMdomfox
04/24/2018, 7:06 AMdo
-notation equivalent using continuations, and was curious about what was under the hood. In many monads you don't need re-usable continuations - List is the only really obvious one, and there are different ways to do that of course.