'csum' and 'csumByKey' should use a CommutativeMonoid

[typelevel]

'csum' and 'csumByKey' should use a CommutativeMonoid

[alonsodomin]

yeah, it should be, will try to chat with them in gitter to understand if there is a reason beyond my understanding to not have those

[OlivierBlanvillain]

Nice, I didn't know that Monoid and Semigroup had a Commutative version in cats, that would indeed be more appropriate! This like a simple thing to change, would you like to give it a shot?

[alonsodomin]

Yes, happy to PR it, shall I go for a version using the CommutativeSemigroup instead of the Monoid? ... was also wondering whether it would be good as well to have similar safer version for the fold operation in the RDD but struggling to find an appropriate name for it ...

[OlivierBlanvillain]

CommutativeSemigroup looks good to me 😄

At the moment we don't have custom API for RDD like we do for Dataset, so I'm not sure where you would put something like a reduceOption...

[alonsodomin]

Apparently cats is missing commutative semigroup instances for tuples in which their elements also form a commutative semigroup...

[OlivierBlanvillain]

Do they have that for Monoid but not CommutativeSemigroup? oO

If so, that's probably a straightforward change to get in.

[alonsodomin]

we need typelevel/cats#1527 merged into cats to have the semigroup derived instances needed to implement this.