We saw Martin Odersky announcing Dotty Compiler - a possible future compiler for Scala without any baggage.
We also saw how Nada Amin released the Dependent Object Types Calculus (Dot Calculus), which is implemented in Scala .
My question is: Is there a connection between the Scala Dotty Compiler project and Nada Amin's Dependent Objects?
Short answer: Yes, there is
Nada Amin , : http://lampwww.epfl.ch/~amin/dot/fool.pdf