zio-prelude v2.0.0 - Roadmap

[guizmaii]

@sideeffffect @kyri-petrou @jdegoes @ghostdogpr, please add anything you think we should fix/improve/change before releasing v1.0.0. Feel free to disagree with my points, of course 🙂

List of things to fix/improve/change before to release v1.0.0:

1. • ZValidation.zipPar (and all the associated variants) are not parallelizing anything. They need to be renamed .zip.
2. • Inconsistent usage of the "par fish" operators (aka <& & &>).
     in ZIO, a &> b mean that a and b will be forked.
     In zio-prelude ZValidation, they are not forking anything and just aliases for .zip (Related to point 2 of this ticket)
     Do we have the same issue anywhere else in zio-prelude? 🤔

Edit: Point 1. and 2. took into account in #1433

[sideeffffect]

Looks good to me! Thanks for the initiative.
I'd like to get this merged (and have the linked PRs closed as deprecated):

• Enable converting ZValidation.Failure to an exception #1360

[kyri-petrou]

There is only one thing that comes to mind but I'm not sure whether it's even possible without a very major refactoring.

The ForEach type-class is defined as:

trait ForEach[F[+_]] extends Covariant[F]

This means that we can't provide ForEach instances for invariant types. A usecase where this is problematic, I wanted to use zio-prelude with doobie's Connection (which is Invariant) and wasn't able to because the compiler doesn't allow it.

[jivanic-demystdata]

@jdegoes Any thoughts about @kyri-petrou's Covariant issue?

[kyri-petrou]

PS: I don't think we should try to address this for the v1 release. I just thought to point it out in case someone might have a simple solution in mind that wouldn't require a huge rewrite of the typeclass hierarchies

[guizmaii]

zio.prelude.CommutativeBoth.mapN combines the two provided F in parallel. Shouldn't we rename this function mapParN? 🤔

[sideeffffect]

Yes! Good idea.

[sideeffffect]

The point still stands. Is there something which blocks us from releasing version 2.0.0? (It should be 2.0.0, 1.0 was for ZIO 1.x).

@987Nabil have you made the PR you've wanted?