타입 람다

타입 람다 (Type Lambdas)

**타입 람다(type lambda)**를 쓰면 타입 정의 없이도 **고차 종류 타입(higher-kinded type)**을 직접 표현할 수 있어요.

[X, Y] =>> Map[Y, X]

출처: Scala 3 Reference

본문

예를 들어 위 타입은 이항 타입 생성자(binary type constructor)를 정의하는데, 인자 X와 Y를 Map[Y, X]로 매핑해요. 타입 람다의 타입 파라미터에는 범위(bound)를 줄 수 있지만, +나 - 변성(variance) 애너테이션은 붙일 수 없어요.