类型参数中的Scala类型级标识函数

Question

我可以声明一个抽象类型，例如

type A[B]

并在子类中将其定义为

type A[B] = Option[B]

如果我想让 A 成为一个选项。如果我想让 A 成为 B 本身，我可以这样做:

type A[B] = B

我可以用类型参数而不是类型成员来达到同样的目的吗？

Answer 1

尝试一个更高级的参数:

class Foo[A[_]] { ... }

type Id[A] = A

type Foo1 = Foo[Option]
type Foo2 = Foo[Id]