scala - Dotty 究竟是什么？

Question

我正在阅读 斯卡拉 3 并发现 多蒂 .我试图了解它是什么。我在某处读到“它是新的编译器”，在某处读到“它是 Scala 3 的一部分”，在某处我读到“Dotty 是新的 Scala 3”。

有人可以向我解释一下到底什么是 dotty 吗？ 用外行和技术术语？

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

Answer 1

让我用的基础来解释斯卡拉 3 :

Dependent Object Types (DOT)是 Scala 的一个新基础，它是 斯卡拉 3 . DOT 是 路径依赖类型的核心演算它将 Scala 语言及其类型系统提升到一个新的水平。

根据 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 和 的基础实现多蒂 是一个用于开发 Scala 3 的项目，带有 点 .此外，Scala 3 适用于新的编译器，也称为 多蒂 支持 DOT 并且比当前版本的 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?

号 Dotty 是计划成为 Scala 3.0 的语言和编译器的项目名称 ，这意味着，DOTTY 是 Scala 编程语言的下一个版本，带有新的编译器(也称为 Dotty)。

我希望这能让你对 dotty 有一个初步的了解。