scala - 在 Dotty Scala 中访问嵌套类型参数

Question

我想用新的 Scala Dotty 编译器做这样的事情：

trait Monad[M[A]] (underlyingValue:A) {
  def bind[A, B](f: A => M[B]): M[B]
}

或者至少

class Monad[M[A]] (underlyingValue:A) {
  def bind[A, B](f: A => M[B]): M[B]
}

但编译器抱怨 Not found: type A

有没有办法访问类型参数的类型参数？还是具有相同最终结果但做不同的事情？

我知道你可以在这里创建一个 Monad：https ://dotty.epfl.ch/docs/reference/contextual/type-classes.html 但是拥有一个 Monad 类可以让我在同一个地方声明一个 Monad 类它是定义的，并且在我的风格上也更有意义。

有没有办法做到这一点？

score 1 · Accepted Answer

对于它的价值，以下解决方案符合我的标准：

trait Monad[F[_], A](underlyingValue: A) {

  def flatMap[B](f: A => F[B]):F[B]

}

用法如下：

class Opt[A](underlyingValue: A) extends Monad[Opt, A](underlyingValue: A) {
   def flatMap[B](f: A => Opt[B]):Opt[B] = {
     ...
   }
}

虽然它确实需要两个类型参数，但类型参数“A”不会重复两次，因此没有逻辑重复。

1 回答 1