斯卡拉要么与列表

Question

我想实现一个与Either 类型类似的类型，称为Result。主要区别在于，Result 类型的左侧应该始终是某物的列表。什么是正确的类型定义？我尝试过这样的事情：

sealed trait Result[List, +A] {
    def map[B](f: A => B): Result[List, B] = this match {
        case Failure(err) => Failure(err)
        case Success(value) => Success(f(value))
    }
    def apply[B](f: Result[List, A => B]): Result[List, B] = (f, this) match {
        case (Failure(fE), Failure(aE)) => Failure(fE ::: aE)
        case ...
    }
}

final case class Failure[+E](errors: List[E]) extends Result[List[E], Nothing]
final case class Success[+A](value: A) extends Result[Nothing, A]

但这会在映射函数中出现错误，即 Failure[Any] does not equal Result[List, B] 和 Success[B] does not equal Result[List, B]。类型定义 Result[List, +A] 是否已经错误，我应该改用 List[_] 之类的更高种类的类型吗？

Answer 1

如果您希望左侧是始终 List 的某物，则无需对 List 进行抽象。摘要超过E：

sealed trait Result[+E, +A] {
    def map[B](f: A => B): Result[E, B] = this match {
        case Failure(err) => Failure(err)
        case Success(value) => Success(f(value))
    }
    def apply[B, F >: E](f: Result[F, A => B]): Result[F, B] = (f, this) match {
        case (Failure(fE), Failure(aE)) => Failure(fE ::: aE)
        case (Failure(fE), _) => Failure(fE)
        case (_, Failure(aE)) => Failure(aE)
        case (Success(fS), Success(tS)) => Success(fS(tS))
    }
}

case class Failure[+E](errors: List[E]) extends Result[E, Nothing]
case class Success[+A](value: A) extends Result[Nothing, A]

请注意，您似乎正在从 Scalaz/Cats 重新发明一些标准的 Applicatives。