组合略有改变的半群类型类（Either）

Question

使用cats.Semigroup可以这样写：

import cats.Semigroup
import cats.implicits._

val l1: String Either Int = Left("error")
val r1: String Either Int = Right(1)
val r2: String Either Int = Right(2)

l1 |+| r1 // Left("error")
r1 |+| r2 // Right(3)

我想要一个同样惯用的运算符（类似组合），其工作方式如下：

如果在我的计算中有（至少）一个 Right，return 一个 Right
如果有只有Left，return一个Left

例如：

Right(1) |+| Right(2) // Right(3) 
Right(1) |+| Left("2") // Right(1) 
Left("1") |+| Left("2") // Left("12") // in my particular case the wrapped value here does not really matter (could also be e.g. Left("1") or Left("2")), but I guess Left("12") would be the must logical result

是否已经在例如Either 上的猫?

Answer 1

Either 有一堆合法的半群实例，其中哪些应该包含在 Cats 中是 some debate 的问题。 Cats、Scalaz 和 Haskell 在这方面都做出了不同的选择，并且您描述的实例（翻转但左右组合）与这三个都不同，它没有特定的我知道的名称，Cats 没有以任何名称或任何形式提供它。

这本身当然不是问题，因为正如我们将在下面看到的，验证此实例是否合法非常容易，但您应该注意一个潜在问题。你并没有真正解释你想要的语义，但如果你想将它提升为 Monoid，那么当你同时拥有 Left 和 Right 表示您的零必须是 Left。如果您将权利视为成功而将剩余视为组合值时可以安全忽略的错误，这可能有点奇怪。

你问的是 Semigroup，但不是 Monoid，所以让我们暂时忽略它并证明这件事是合法的。先作定义：

import cats.kernel.Semigroup

implicit def eitherSemigroup[A, B](implicit
  A: Semigroup[A],
  B: Semigroup[B]
): Semigroup[Either[A, B]] = Semigroup.instance {
  case (Right(x), Right(y)) => Right(B.combine(x, y))
  case (r @ Right(_), Left(_)) => r
  case (Left(_), r @ Right(_)) => r
  case (Left(x), Left(y)) => Left(A.combine(x, y))
}

然后是检查部分：

import cats.instances.int._
import cats.instances.string._
import cats.kernel.instances.either.catsStdEqForEither
import cats.kernel.laws.discipline.SemigroupTests
import org.scalacheck.Test.Parameters

SemigroupTests(eitherSemigroup[String, Int]).semigroup.all.check(Parameters.default)

是的，没关系：

+ semigroup.associative: OK, passed 100 tests.
+ semigroup.combineAllOption: OK, passed 100 tests.
+ semigroup.repeat1: OK, passed 100 tests.
+ semigroup.repeat2: OK, passed 100 tests.

就个人而言，如果我想要这样的东西，我可能会使用包装器来避免混淆我的代码的未来读者（包括我自己），但考虑到没有人真正知道 Either [=35 的半群是什么=]应该做，我不认为使用自定义实例是一个像标准库中的大多数其他类型一样大的问题。

组合略有改变的半群类型类（Either）

Semigroup typeclass (Either) with slightly altered combine

functional-programming

scala

semigroup

scala-cats