Scala for推导中为何期望Either类型？（Tagless Final场景）

核心问题原因 #

你遇到的编译错误本质是Monad类型不匹配：

• ConfigSource.load[AppConfig] 返回的是 Either[ConfigReaderFailures, AppConfig]，属于Either Monad。
• 后续的BlazeServerBuilder相关代码返回的是IO[Unit]，属于IO Monad。

for推导要求整个链条内的所有操作都属于同一个Monad类型，但你混合了Either和IO两种不同的Monad，编译器会强制要求后续操作也返回Either，因此报错提示需要scala.util.Either类型。

展开for推导看本质 #

假设你的代码大致如下：

val serverStart = for {
  config <- ConfigSource.default.load[AppConfig]
  _ <- BlazeServerBuilder[IO]
        .bindHttp(config.port, config.host)
        .serve
        .compile
        .drain
} yield ()

把for推导展开成flatMap/map调用后，问题会更清晰：

val serverStart = ConfigSource.default.load[AppConfig].flatMap { config =>
  // 这里返回的是IO[Unit]，但flatMap要求返回Either类型，所以编译报错
  BlazeServerBuilder[IO]
    .bindHttp(config.port, config.host)
    .serve
    .compile
    .drain
    .map(_ => ())
}

Either的flatMap方法要求传入的函数返回Either[E, A]，但你传入的函数返回了IO[Unit]，类型完全不兼容，这就是错误的根源。

正确的解决方式 #

在Tagless Final模式下，我们通常用IO这类Effect类型统一处理所有副作用（包括配置加载和服务器启动），所以需要把PureConfig的Either结果转换成IO：

import cats.effect.IO
import pureconfig.ConfigSource

val serverStart = for {
  // 用IO.fromEither把Either包装成IO，统一Monad类型
  config <- IO.fromEither(ConfigSource.default.load[AppConfig])
  _ <- BlazeServerBuilder[IO]
        .bindHttp(config.port, config.host)
        .serve
        .compile
        .drain
} yield ()

这样整个for推导都在IO Monad下，所有操作的类型一致，编译就能通过。

关于Scala Pet Store示例的参考 #

Pet Store示例之所以能正常工作，是因为它把配置加载的Either结果提前转换成了IO类型，没有直接用Either做for推导。整个代码链条都基于IO Monad，避免了不同Monad混合的问题，和上面的正确写法逻辑一致。

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