Scala chức năng nhận diện loại cấp trong một tham số kiểu

Question

tôi có thể tuyên bố một loại trừu tượng như

type A[B] 

và trong một lớp con xác định rằng khi

type A[B] = Option[B] 

nếu tôi muốn A đến là một lựa chọn . Và nếu tôi muốn A là B, tôi có thể làm điều này:

type A[B] = B 

Tôi có thể đạt được điều tương tự với thông số loại thay vì thành viên loại?

Answer 1

Hãy thử một tham số-kinded cao:

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

type Id[A] = A 

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