Semigroup和SemigroupK之间的区别

Question

在猫中有 2 个半群类型类：Semigroup 和 SemigroupK，后者用于类型构造函数。 我看不到后者比前者的优势。如果我查看他们提供Monoid 的列表实例（尽管有MonoidK），而NonEmptyList 提供SemigroupK。请注意，NonEmptyList 还通过以下方法提供Semigroup：

implicit def catsDataSemigroupForNonEmptyList[A]: Semigroup[NonEmptyList[A]] =
  SemigroupK[NonEmptyList].algebra[A]

为什么会出现差异？

然后似乎大多数半群操作仅在 Semigroup 上可用，而不是在 SemigroupK 上（Reducible 中有 reduceK，但这是我看到的唯一一个，它委托给 reduce，它适用于 @ 987654339@)。

那么，给定一个 T[_] 类型，如果同时拥有 SemigroupK[T] 和 Semigroup[T[A]] for some A，你会得到什么？

编辑

现在有一个移除 MonoidK 和 SemigroupK 的问题：https://github.com/typelevel/cats/issues/1932

Answer 1

你可以用SemigroupK 做而你不能用Semigroup 做的一件事是为Nested 编写实例：

implicit def catsDataSemigroupKForNested[F[_]: SemigroupK, G[_]]: SemigroupK[Nested[F, G, ?]]

如果你尝试为Semigroup 写一个等价的，我认为你会得到最接近的是

implicit def catsDataSemigroupForNested[F[_], G[_], A](implicit sg: Semigroup[F[G[A]]]): Semigroup[F[G[A]]] // or Semigroup[Nested[F, G, A]]

这不是很有用！从搜索中，我看不到为SemigroupK 实现的任何其他内容，并且无法使用Semigroup 完成，但我可能错过了一些东西。

但SemigroupK 的要点是，一旦拥有它，您也可以自动获得Semigroup，就像NonEmptyList 一样。