Task: A diverging design from Future and Scalaz Task

task-proposal.md

Monix Task: A diverging design

This document is about Task, an alternative for Scalaz's Task or Scala's Future. Note this is work in progress and this document suffered multiple modifications already:

• Jan 26, 2016
• Dec 23, 2015
• Dec 22, 2015
• Dec 21, 2015
• Dec 20, 2015

UPDATE - May 30, 2016 - This document is now obsolete, replaced by the Monix Task documentation:

https://monix.io/docs/2x/eval/task.html

scalaz.concurrent.Task is not very good. Using just a reasonable IO type, it should be possible to subsume Task's use cases with some uses of MVar-like atomic-references. For example:

I agree, and that is the route we are going with FS2's Task type (which I suppose could be renamed to 'IO'), which implements MVar-like references and then uses that to implement async (and lots of other operations, like parallelTraverse, as well as all the concurrent stream operations of FS2 itself): https://github.com/functional-streams-for-scala/fs2/blob/topic/redesign/core/src/main/scala/fs2/Async.scala#L75