为什么 Option[Try[_]] 不符合 F[_]？

Question

所以有这样的东西：

@ trait IntWrapper[F[_]] { def apply(i: Int): F[Int] }
defined trait IntWrapper

@ class OptWrapper extends IntWrapper[Option] { def apply(i: Int) = Option(i) }
defined class OptWrapper

我现在想做这样的事情：

@ class TryOptWrapper extends IntWrapper[Try[Option]] { def apply(i: Int) = Try(Option(i)) }
cmd19.sc:1: scala.util.Try[Option] takes no type parameters, expected: one
class TryOptWrapper extends IntWrapper[Try[Option]] { def apply(i: Int) = Try(Option(i)) }
                                       ^
Compilation Failed

（如果我将特征扩展声明为 class TryOptWrapper extends IntWrapper[Try[Option[_]]] 也是一样）

现在，也许最有趣的是，这行得通：

@ type Topt[T] = Try[Option[T]]

@ class ToptWrapper extends IntWrapper[Topt] { def apply(i: Int) = Try(Option(i)) }
defined class ToptWrapper

现在，是否可以做同样的事情——即实现一个类型参数为嵌套参数化类型的特征——而不必显式声明类型别名？绝对感觉我在这里缺少一些语法。

Answer 1

Try 需要类型参数 * 并且 Option 具有类型 * => * 所以你不能写 Try[Option]，只能写 Try[Option[Int]], Try[Option[String]], Try[Option[_]]...

尝试输入 lambda

class TryOptWrapper extends IntWrapper[({ type λ[A] = Try[Option[A]] })#λ] { def apply(i: Int) = Try(Option(i)) }

或 kind-projector

class TryOptWrapper extends IntWrapper[Lambda[A => Try[Option[A]]]] { def apply(i: Int) = Try(Option(i)) }

为什么 Option[Try[_]] 不符合 F[_]？

Why does Option[Try[_]] not conform to F[_]?

types

scala

higher-kinded-types

type-kinds

kind-projector