Work in Progress

We are still in the process of writing the documentation for Scala 3. You can help us to improve the documentation.

Are you searching for the Scala 2 documentation?

Scala 3 Language Reference

Type Lambdas

Language

A type lambda lets one express a higher-kinded type directly, without a type definition.

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

For instance, the type above defines a binary type constructor, which maps arguments X and Y to Map[Y, X]. Type parameters of type lambdas can have bounds, but they cannot carry + or - variance annotations.

More details

Contributors to this page: