如何在 Scala 中定义 HKT for instance (over object) 方法？

Question

如何在 Scala 中定义 HKT 以提供方法，例如 map，作为实例上的方法而不是对象上的函数？

我知道你可以

trait M[F[_]] {
  def map[A, B](f: F[A])(fn: A => B): F[B]
}

object Q extends M[Q] {
  def map[A, B](f: Q[A])(fn: A => B) = new Q(fn(f.e))
}

class Q[A](val e: A)

Q.map(new Q(1))(_.toDouble)

但是，我想在实例上使用 map。我还没有看到任何文献这样做，所以我写了以下内容。

trait M[A, F[A]] {
  def map[B](f: A => B): F[B]
}

class Q[A](val e: A) extends M[A, Q] {
  def map[B](f: A => B) = new Q(f(e))
}

new Q(1).map(_.toDouble)

它是地道的 Scala 吗？它做了 map 应该做的事情吗？与上面的对象版本相比有限制吗？（顺便说一句，使用 extends M[A, Q[A]] 它不会编译 - 为什么？）

我看过

trait M[A] {
  def map[B](f: A => B): M[B]
}

但是 Q 的 map 可能会 return 一个 class R[A] extends M[A]，这是不需要的。

Answer 1

有一个专门用于此的库：https://github.com/mpilquist/simulacrum

你也可以自己做。典型的模式是定义相应的隐式 MOps class 或其他任何内容：

trait M[F[_]] {
  def map[A, B](f: F[A])(fn: A => B): F[B]
}

implicit class MOps[F[_] : M, A](x: F[A]) {
  def map[B](f: A => B): F[B] = implicitly[M[F]].map(x)(f)
}

然后示例用法：

case class Box[A](a: A)

implicit val BoxM = new M[Box] {
  def map[A, B](f: Box[A])(fn: A => B): Box[B] = Box(fn(f.a))
}

Box(2).map(_.toString)

但是它有很多样板文件，因此 simulacrum 可以为您（以及更多）完成所有工作。

如何在 Scala 中定义 HKT for instance (over object) 方法？

How can I define an HKT for instance (over object) methods in Scala?

monads

scala

traits

higher-kinded-types