Dotty
Dotty is the next version of Scala programming language - Scala 3.0 - with a new compiler (also called Dotty)[1]. According to Martin Odersky, the creator of Dotty (and Scala in general), it will come out as a completed product in 2020.[2]
Name ‘Dotty' comes from the new foundation of the Scala language that it represents - Dependent Object Types (DOT). DOT is a core calculus for path-dependent types which enhance Scala language and its type system.[3]
The language specifications are the same in Scala 2 and Scala 3. The main difference is the compiler. Also, the type system for Scala 3 is based upon a new foundation, called the DOT calculus. Using this foundation affects which types you can use in your program, and increases confidence that if a program passes Dotty's typechecker it will not have type errors.[4]
New types
References
- ^ lampepfl/dotty, Programming Methods Laboratory EPFL, 2020-07-20, retrieved 2020-07-20
- ^ "Towards Scala 3". www.scala-lang.org. Retrieved 2020-07-20.
- ^ "Dependent Object Types.Towards a foundation for Scala's type system" (PDF). EPFL. Retrieved 2020-07-20.
{{cite web}}
: CS1 maint: url-status (link) - ^ "Towards Scala 3". www.scala-lang.org. Retrieved 2020-07-20.