Other Types

This doc page is specific to Scala 3, and may cover new concepts not available in Scala 2. Unless otherwise stated, all the code examples in this page assume you are using Scala 3.

Scala has several other advanced types that are not shown in this book, including:

• Type lambdas
• Match types
• Existential types
• Higher-kinded types
• Singleton types
• Refinement types
• Kind polymorphism

For more details on most of these types, refer to the Scala 3 Reference documentation. For singleton types see the literal types section of the Scala 3 spec, and for refinement types, see the refined types section.