scala - Scala Dotty 编译器和 Nada Amin 的 Dependent Objects 项目之间是否存在关系？

Question

我们已经看到Martin Odersky 宣布 了 Dotty Compiler - 一个可能的未来 Scala 编译器，没有所有的包袱。

我们还看到 Nada Amin 发布了已在 Scala 中实现的Dependent Object Types Calculus (Dot Calculus) 。

我的问题是：Scala Dotty 编译器和 Nada Amin 的 Dependent Objects 项目之间是否存在关系？

Answer 1

简短的回答：是的

dotty 和 Nada Amin 的项目在各自的文档中都声明它们是基于本文的想法构建的：http: //lampwww.epfl.ch/~amin/dot/fool.pdf