从任意类型的联合中删除一种类型的类型级别

Question

如果我在Scala 3中有一个任意类型的联盟，是否可以编写一种从联盟中“删除”一种类型的方法？

类似于shapeless.opp.coduct.remove，但是对于本机scala 3

。特定错误类型，并将其余错误作为新的联合类型。

val result: Either[Foo | Bar | Baz | Bang, Thing]
val otherResult: Either[Foo | Bar, OtherThing]

// pretend syntax
def recoverBar[X, A](error: Bar | ...X)(f: Bar => A): Either[X, A] = 
  error match {
    case e: Bar => Right(f(e))
    case otherError => Left(otherError)
  }

// example usage
val recoveredResult: Either[Foo | Baz | Bang, Option[Thing]] = result
  .map { Option.apply }
  .left.flatMap { recoverBar(_)(_ => None) }

val recoveredOther: Either[Foo, OtherThing] = otherResult
  .left.flatMap { recoverBar(_)(_ => OtherThing.default) }

即某种类型的通用方法

[Foo | Bar | Baz | Bang] =>> [Foo | Baz | Bang]
[Foo | Bar] =>> [Foo]
[Bar] =>> [Nothing]

Answer 1

您可以使用typeTest：

class Remove[A]:
  def apply[B](aOrB: A | B)(using tt: TypeTest[A | B, A]): Either[A, B] =
    aOrB match
      case a: A => Left(a)
      case b    => Right(b.asInstanceOf[B])

def remove[A]: Remove[A] = Remove[A]

type Foo = Boolean | Int | String
val foo: Foo = "foo"

val noInt = remove[Int](foo)

// It inferred the correct type:
val inferred: Either[Int, Boolean | String] = noInt

// And we get the expected value: Right(foo)
println(noInt) 

匹配无法推断另一种情况必须是b，但我认为这是我们可以做的最好的，这很糟糕。目前。