Scala 2.13中Monad trait派生map无法支持for推导式问题

问题根源 #

Scala的for推导式是语法糖，会直接展开为对目标类型的map/flatMap方法调用。你的Id类本身未定义这些方法，而Monad[Id]实例中的map/flatMap是独立于Id类的成员，编译器无法自动关联两者，因此报错找不到map。

解决方案 #

通过隐式类为所有实现Monad的类型注入语法扩展，将Monad实例中的map/flatMap方法绑定到目标类型上，让for推导式能正确解析方法调用。

修改后的完整代码 #

trait Monad[F[_]] {
  def pure[A](a: A): F[A]
  def flatMap[A, B](fa: F[A])(g: A => F[B]): F[B]
  def map[A, B](fa: F[A])(f: A => B): F[B] = flatMap(fa)(f andThen pure)
}

case class Id[A](get: A)

// 定义Monad通用语法扩展
object MonadSyntax {
  implicit class MonadOps[F[_], A](fa: F[A])(implicit M: Monad[F]) {
    def map[B](f: A => B): F[B] = M.map(fa)(f)
    def flatMap[B](f: A => F[B]): F[B] = M.flatMap(fa)(f)
  }
}

object Monad {
  // 定义Id的隐式Monad实例，供语法扩展使用
  implicit val idMonad: Monad[Id] = new Monad[Id] {
    def pure[A](a: A) = Id(a)
    def flatMap[A,B](ma: Id[A])(f: A => Id[B]) = f(ma.get)
  }

  import MonadSyntax._ // 导入扩展，让Id实例拥有map/flatMap方法
  val example: Id[Unit] = for {
    _ <- Id(())
  } yield ()
}

关键修改说明 #

1. MonadSyntax隐式类：接收任意F[A]实例和对应的隐式Monad[F]，为其添加map和flatMap方法，内部直接复用Monad实例中已实现的逻辑，避免重复代码。
2. 隐式Monad实例：将idMonad改为隐式值，编译器会自动在作用域中查找对应类型的Monad实例，为Id注入扩展方法。
3. 导入语法扩展：在使用for推导式的作用域中导入MonadSyntax._，确保Id实例能被隐式转换为MonadOps，从而支持map/flatMap调用。

额外说明 #

这种方式完全符合你“通过pure和flatMap派生map、避免重复实现”的初衷，同时能让所有Monad类型自动获得for推导式支持，无需在每个类型中单独定义map方法。

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