Any reason `intercalate` isn't exposed directly on the `Semigroup` companion object? about cats HOT 3 OPEN

I don't think it is an oversight, but rather a very particular case that just has never been in demand previously.
For example, there's another method reverse that also construct a Semigroup instance out of the current one, but adding its counterpart to the object wont' help with type inference a lot:

Semigroup[String].reverse
// VERSUS
Semigroup.reverse[String]

When it comes to intercalate, then I agree it can come in handy, so I think it wouldn't hurt if we added it.

from cats.

It was an oversight. This style of typeclass encoding was used in the algebra project which predates cats and was absorbed into cats.

The motivation is that if you have def combine[A](a: A, b: A)(implicit ev: Semigroup[A]): A = ev.combine(a, b) you can avoid declaring the type, and get good JVM performance (the jit should be able to remove the indirection since is is statically the same as: implicitly[Semigroup[A]].combine(a, b) but without naming the type.

Semigroup.combine("foo", "bar")

Cats used an approach of just giving def apply[A: Semigroup]: Semigroup[A] ... but that requires naming the type as noted above.

There is a lot of boilerplate with the approach of duplicating methods from the typeclass into the object in order to hopefully get some nice type-inference cases. Personally, I have moved away from the style in most cases.

That said, I'm not opposed to adding it.

from cats.

Thanks, both. As it stands right now, it seems that only reverse and intercalate aren't exposed on the object, while the rest are (i.e., combine, combineN, combineAllOption). In addition, first, last and a few others are only available via the object.

What I'd do is add both intercalate and reverse on the object. The advantage is obvious for intercalate, while for reverse it would be just for consistency and because it doesn't take anything away DX-wise.

Does that sound good? If yes, I'll open a PR with both reverse and intercalate.

from cats.