fonction identitaire niveau du type Scala dans un paramètre de type

Question

je peux déclarer un type abstrait tel que

type A[B] 

et dans une sous-classe définissent que

type A[B] = Option[B] 

si je veux un être une option . Et si je veux A à être lui-même B, je peux le faire:

type A[B] = B 

Puis-je obtenir la même chose avec des paramètres de type au lieu des membres de type?

Answer 1

Essayez un paramètre supérieur kinded:

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

type Id[A] = A 

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