Roadmap

[raulraja]

Roadmap

data

• Option
• Try
• Either
• Ior
• Coproduct
• Free
• Cofree Add Cofree construct #92
• Trampoline Trampoline #77
• Coyoneda Create CoYoneda construct #80
• FreeApplicative Free Applicative #164
• NonEmptyList
• Vector Add Vector construct #97
• NonEmptyVector Add NonEmptyVector construct #96
• OptionT
• StateT Create StateT type #14
• WriterT Add WriterT monad #84
• EitherT
• Kleisli
• Cokleisli Add CoKleisli type #86
• Function0 Add Bimonad for Function0 #95
• Function1 Add Function1 #137
• PartialFunction + case syntax PartialFunction + match(case ..) statements #143

typeclasses

• Functor (improved by Add missing methods in Functor #173)
• FunctorFilter Add FunctorFilter #224
• Applicative
• ApplicativeError
• Monad
• MonadError
• MonadCombine (Add MonadCombine #248 Work in progress)
• MonadFilter Add MonadFilter #242
• MonadReader
• MonadState Add MonadState construct #145
• MonadWriter MonadWriter #210
• Semigroup
• SemigroupK Add SemigroupK #149
• Monoid
• MonoidK Add MonoidK #151
• Foldable
• Traverse
• Reducible Reducible #215
• TraverseFilter (Add TraverseFilter #255 Work In Progress)
• Inject
• FunctionK
• Choice

instances

• all instances of typeclasses that can be applied over defined datatypes and those from the kotlin stdlib

syntaxis

• syntax for all types which in some way implement a typeclass either directly or through companion.
• tuple destructuring Add destructuring to Tuples #99

utils

• monadic comprehensions
• comonadic comprehensions Implement comonadic comprehensions #88
• cartesian builder
• find a way to register implicit typeclasses with arity 2+

tests

• discipline Create discipline #65
• missing traverse laws Const and Nested combined types + missing Traverse laws #136

docs

• Docs for each data type and type class including example use cases

[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]

@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

[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 🙏