Scala 3中EitherT无法向上转型为公共特质父类型问题

在Scala 3中使用for推导式链式调用EitherT时，编译器不会自动将不同错误类型向上提升至它们的公共祖先类型（如示例中的Error trait），从而引发类型不匹配的编译错误。以下是几种可行的解决方式：

1. 显式指定EitherT的错误类型为公共父类 #

在创建EitherT实例时，明确指定错误类型参数为Error，强制编译器统一错误类型：

for {
  t1 <- EitherT[F, Error, Type1](someMethod(params))
  t2 <- EitherT[F, Error, Type2](otherMethod(params))
} yield t2

这种方式直接告知编译器，两个EitherT的错误类型都应被视为Error，规避了类型推导时的不一致问题。

2. 使用leftMap转换错误类型 #

通过leftMap方法将每个EitherT的错误类型显式转换为公共父类Error，利用子类到父类的向上转型特性：

for {
  t1 <- EitherT(someMethod(params)).leftMap(_: Error)
  t2 <- EitherT(otherMethod(params)).leftMap(_: Error)
} yield t2

leftMap(_: Error)分别将Error1.type和Error2向上转型为Error，让两个EitherT的错误类型统一，满足for推导式的类型要求。

3. 调整接口返回类型（若允许修改接口） #

如果可以修改SomeInterface的定义，将方法返回类型改为F[Either[Error, TypeX]]，并在实现类中通过映射完成错误类型转换：

修改后的接口： #

trait SomeInterface[F[_]]:
  def someMethod(params): F[Either[Error, Type1]]
  def otherMethod(params): F[Either[Error, Type2]]

实现类中的转换逻辑： #

class SomeInterfaceImpl[F[_]: Monad] extends SomeInterface[F]:
  override def someMethod(params): F[Either[Error, Type1]] = 
    // 假设底层调用返回F[Either[Error1.type, Type1]]
    underlyingCall(params).map(_.left.map(_: Error))

  override def otherMethod(params): F[Either[Error, Type2]] = 
    underlyingOtherCall(params).map(_.left.map(_: Error))

这种方式从根源上统一了错误类型，后续调用无需额外处理，但需确保实现类中对底层返回的Either进行安全的类型转换。

内容的提问来源于stack exchange，提问作者Bruno Lemus