Nada Amin的Scala Dotty编译器和Dependent Objects项目之间是否

发布时间：2020-12-16 08:43:37 所属栏目：安全来源：网络整理

导读：我们已经看到了 Martin Odersky announce the Dotty Compiler – Scala可能的未来编译器,没有所有的包袱. 我们还看到Nada Amin发布Dependent Object Types Calculus(Dot Calculus)has been implemented in Scala. 我的问题是：Nada Amin Scala Dotty编译器和

我们已经看到了 Martin Odersky announce the Dotty Compiler – Scala可能的未来编译器,没有所有的包袱.

我们还看到Nada Amin发布Dependent Object Types Calculus(Dot Calculus)has been implemented in Scala.

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

解决方法

简短的回答：是的

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!