Dotty is a platform to try out new language concepts and compiler technologies for Scala. The focus is mainly on simplification. We remove extraneous syntax (e.g. no XML literals), and try to boil down Scala’s types into a smaller set of more fundamental constructors. The theory behind these constructors is researched in DOT, a calculus for dependent object types.
In this documentation you will find information on how to use the Dotty compiler on your machine, navigate through the code, setup Dotty with your favorite IDE and more!
- Internals document the compiler internals
- Syntax Summary: brief analysis of the syntax
- Project Structure: of the project
- Backend: details on the bytecode backend
- Contexts: details the use of
Contextin the compiler
- Dotty vs Scala 2: explaining the differences between Scalac and Dotty
- Higher Kinded Type Scheme: scheme
- Periods: details on the concepts of runs, phases and periods
- Type System: details on the type system of Dotty
- Talks: presentations of the various aspects of Dotty