dotty

Let me explain with foundation of Scala 3: The Dependent Object Types (DOT) is a new foundation for Scala which is to be Scala 3. DOT is a core calculus for path-dependent types which enhance Scala language and its type systems to next level. According to this blog by Martin Odersky: “What do you get … Read more