Roadmap about arrow

[raulraja]

@pakoito yes we can do that but it's not strictly necessary for the first version, I guess we should add it and label everything with the version we expect it to come out

[pakoito]

Are we going to do Fix and the XXXmorphisms from recursion schemes?

SOURCE: https://medium.com/@jaredtobin/practical-recursion-schemes-c10648ec1c29

MonadFix:
https://www.reddit.com/r/haskell/comments/6vgtjw/monadfix_is_time_travel/

[pakoito]

I would also add Task, even if it's just a composition of the others, or a separate project altogether (?).

[raulraja]

Let's add Task I also want to add Lenses but those don't need to be in a first version either.

[pakoito]

More "would be nice to have" things:

All the comonad stack:
https://hackage.haskell.org/package/comonad-5

Update (co)monad:
https://github.com/ekmett/update
https://www.schoolofhaskell.com/user/edwardk/heap-of-successes
http://try.purescript.org/?gist=376d272b1372835aacc3ad18f89c39cd&session=2f758ab5-7e1e-0508-f472-d1e6ea12203e

Two examples of wrapping native platforms for a potential extension lib:
https://github.com/purescript/purescript-eff
https://github.com/slamdata/purescript-aff

For a value of nice anyway :D

[pakoito]

followedBy, forEffect, ifM

https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/FlatMap.scala#L48 (edited)

https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/FlatMap.scala#L70 (edited)

https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/FlatMap.scala#L118

y hay variaciones para Eval de los mismos

Done in #212

[pakoito]

Complete Functor https://github.com/typelevel/cats/blob/master/core/src/main/scala/cats/Functor.scala

Taken by #173

[pakoito]

Composed instances

#104

[pakoito]

Add MonadTrans.

Resources:
https://ro-che.info/articles/2014-07-15-type-based-lift
typelevel/cats#844

[pakoito]

More suggestions: https://wiki.haskell.org/Monad#Interesting_monads

[pakoito]

Traverse laws -> moved to #136

EDIT: DONE

[pakoito]

Category and MonoidK typeclasses

#137 (comment)

[pakoito]

MonadReader laws

#137 (comment)

[pakoito]

Easy

binding tests for monad and comonad

https://github.com/kategory/kategory/pull/137/files/b323cc6f139ed589150f7ee59c9c3878c5895262#r128701973

Done in #214

[pakoito]

Improve free with resume, fold...

It'll require to change free to use Functors, and CoYoneda conversion

http://blog.higher-order.com/blog/2013/11/01/free-and-yoneda/

[pakoito]

Except/ExceptT

https://hackage.haskell.org/package/transformers-0.5.4.0/docs/src/Control.Monad.Trans.Except.html#

Inspired by

https://twitter.com/daniel_mbfm/status/888890585318391810

[pakoito]

Adjunction: https://www.youtube.com/watch?v=BLk4DlNZkL8

Should be easy to implement.

[pakoito]

AsyncContext from FreeStyle:

https://github.com/frees-io/freestyle/blob/master/freestyle-async/async/shared/src/main/scala/async.scala

Done in #192

[raulraja]

Thanks to everyone that helped here! closing this old issue now 🙏