我们已经看到Martin Odersky宣布了Dotty Compiler——一个可能的未来Scala编译器，没有所有的包袱。
我们还看到Nada Amin发布了在Scala中实现的依赖对象类型Calculus（点演算）。
我的问题是：Scala Dotty 编译器和 Nada Amin 的依赖对象项目之间有关系吗？
简短的回答：是的，有
dotty和Nada Amin的项目在各自的文档中都声明，它们是建立在本文的想法之上的： http://lampwww.epfl.ch/~amin/dot/fool.pdf
javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium