类型参数中的 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]