Scala:用一些通用类型制作更高种类的类型

Question

例如，我定义了一个 Monad Trait，如下所示:

trait Monad[F[_]] {
  def unit[T](a: => T): F[T]
  def flatMap[A, B](fa: F[A])(f: A => F[B]): F[B]
}

我创建了一个实现上述接口(interface)的 ListMonad:

 class ListMonad extends Monad[List] {
    override def unit[T](a: => T): List[T] = List(a)

    override def flatMap[A, B](fa: List[A])(f: (A) => List[B]): List[B] = fa flatMap f
  }

现在我想以“通用方式”验证上面的 Monad。 monad 的第一个属性是Left Identity。这意味着:如果我们给一个单子(monad)“m”，一个值“x”和一个函数“f”。它应该满足:m.(identity(x)).flatMap(f) == f(x)

例如，我创建了以下验证器类来检查该假设:

case class MonadVerifier[A, F[_]](monad: Monad[F[_]])(f: A => F[A]) {
  def leftIdentity(value: A): Boolean =
    monad.flatMap[A, A](monad.unit(value))(f) == f(value)
}

在这段代码中，我遇到了错误:

Type mismatch. expected: (A) => F[_][A], actual: (A) => F[A]

我不知道在 Scala 中，如何将 F[A] 表示为泛型。我想如果我定义了 F[_] Scala 会在调用 F[A] 时将泛型类型插入到 [_] 中，但事实并非如此真的。

在这种情况下请帮助我。谢谢

Answer 1

@Dima 说的:

错误是

MonadVerifier[A, F[_]](monad: Monad[F[_]])

应该是

MonadVerifier[A, F[_]](monad: Monad[F])

第一行不是说 F 是一个 monad(F 有种类 * -> * 和 类型的值code>F[_])，但是 F[_](即类型构造函数 F 应用于任何正确类型的类型)是一个monad，(F 具有类型 * -> (* -> *) 和类型 F[_][_] 的值)。

对此进行扩展(如果需要，请忽略此内容):Monad 期望其类型参数采用一个类型参数并返回一个具体类型。 Monad 的参数据说具有种类 * -> *(从具体类型到具体类型的“函数”)，并且 Monad 本身具有kind (* -> *) -> * (“函数”来自“函数”，从具体类型到具体类型再到具体类型)。当你说 Monad[F[_]] 时，你暗示参数 (F[_]) 具有种类 * -> *，因为那是 Monad 期望的那种。 F[_] 是类型构造函数 F 的应用(kind a -> b 对于一些未知类型 a 和 b) 到任何具体类型(由 _ 暗示，强制 F 的种类被限制为 * -> k 对于一些未知的 k)。由于 F[_] 也必须是 * -> * 因为 Monad，这限制了 k = (* -> * ) 所以 F 被强制为 * -> (* -> *) 类型，这是 (*, * ) -> *。这意味着 F 有两个类型参数，并且在第二个参数中它是单子(monad)的(如 Either)。

将来，可能会使用上下文绑定(bind)来避免类似的混淆:

MonadVerifier[A, F[_]: Monad] // no params needed