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

Question

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.

---

This question does not appear to be about programming within the scope defined in the help center.

Closed 8 years ago.

Improve this 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?

Answer 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