斯卡拉 – 多蒂究竟是什么？

发布时间：2020-12-16 18:25:14 所属栏目：安全来源：网络整理

导读：我正在阅读 Scala 3并发现了dotty.我试图了解它是什么.我在某处读到“这是新的编译器”,在某处我读到“它是Scala 3的一部分”,在某处我读到“Dotty是新的Scala 3”. 有人可以向我解释一下究竟是什么？在外行和技术方面？ PS：我已经在StackOverflow上阅读了d

我正在阅读 Scala 3并发现了dotty.我试图了解它是什么.我在某处读到“这是新的编译器”,在某处我读到“它是Scala 3的一部分”,在某处我读到“Dotty是新的Scala 3”.

有人可以向我解释一下究竟是什么？在外行和技术方面？

PS：我已经在StackOverflow上阅读了dotty的标签信息但是并没有真正理解它.

解决方法

让我解释一下Scala 3的基础：

Dependent Object Types (DOT)是Scala的新基础,它是Scala 3. DOT是路径依赖类型的核心计算,它将Scala语言及其类型系统提升到新的水平.

根据Martin Odersky的this blog：

“What do you get if you boil Scala on a slow flame and wait until all
incidental features evaporate and only the most concentrated essence
remains? After doing this for 8 years we believe we have the answer:
it’s DOT,the calculus of dependent object types,that underlies Scala.”

因此,在Scala 3中,DOT – 依赖对象类型已经被实现为Scala的基础,DOTTY是用于使用DOT开发Scala 3的项目.此外,Scala 3适用于新编译器,也称为支持DOT的Dotty,它比当前版本的Scala编译器更强大.从技术上讲,对于Scala 2及更低版本,scalac是编译器,但对于Scala 3,dotc是编译器.

因此,Scala 2(下面)和Scala 3中的语言规范是相同的,但是编译器是新的,它不需要DOT.此外,以DOT为基础,Scala 3中还有其他新功能,例如union types,intersection-type等

Is DOTTY is new programming language?

No.Dotty是一个语言和编译器的项目名称,它将成为Scala 3.0,这意味着,DOTTY是Scala编程语言的下一个版本,带有一个新的编译器(也称为Dotty).

我希望这会让你初学者洞察傻瓜.

（编辑：李大同）

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