Is there a relationship between the Scala Dotty Compiler and the Dependent Objects project by Nada Amin?

Question

We've seen Martin Odersky announce the Dotty Compiler - a possible future compiler for Scala without all the baggage.

We've also seen Nada Amin release the Dependent Object Types Calculus (Dot Calculus) which has been implemented in Scala.

My question is: Is there a relationship between the Scala Dotty Compiler and the Dependent Objects project by Nada Amin?

The question demonstrates a lack of basic research, but I'm not convinced that it needs to be closed. — Kevin Wright, Feb 23 '14 at 12:39

score 1 · Accepted Answer · answered Feb 23 '14 at 12:37

1

The short answer: Yes there is

Both dotty and Nada Amin's project, in their respective documentation, state that they're built on ideas from this paper: http://lampwww.epfl.ch/~amin/dot/fool.pdf

answered Feb 23 '14 at 12:37

Kevin Wright

1 Answers1