问题标签 [dotty]

在 Strange Loop 最近的一次演讲中，Martin Odersky 阐明了他对 Scala 未来版本 Dotty 的设想。我知道这是正在进行中的工作，由于许多可能的向后兼容性问题，它甚至可能不会流入 Scala（至少不是很快）。但如果发生这种情况，我们今天应该如何在 Scala 中进行编程以与 Dotty 前向兼容？我没有从谈话中得到所有的想法，所以我希望有人更深入地总结这些变化并描述我们如何为它们做好准备。

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

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

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

我正在尝试执行以下操作

也就是说， 的类型state取决于（的值）system。但是，不支持：

非法依赖方法类型：参数出现在同一节或更早的另一个参数的类型中

使用函数参数，我可以将参数拆分为两个参数列表，这对于案例类构造函数是不可能的：

我能做的最好的是：

但我在想没有类型参数应该是可能的，因为在 dotty 中，我认为类型参数对类型成员来说是无糖的。

那么我的问题是，这可以在没有类型参数的情况下表达吗？

在更一般的上下文中，我正在探索类型参数可以在多大程度上被类型成员替换，以及何时这样做是个好主意。

现在 Dotty 显然已经准备好编译更大的项目，我想知道是否有一种简单的方法可以在 sbt 项目中使用它作为 Scalac 的替代品？就像我有以下内容一样build.sbt：

我可以采取一些步骤在这里将 Scalac 换成 Dotc 吗？

我可以使用 Dotty 轻松完成以下操作：

如何在没有 Dotty 的情况下进行联合类型子类型化？

据报道，Dotty 将具有类型参数的类脱糖为具有类型成员的类，例如：

Dotty 如何脱糖多态方法，如下例所示？

在2013 年的这个问题中，Odersky 先生指出，“现在说”像 Scalaz 这样的库是否能够在 Dotty 下存在（至少在当前状态下）还为时过早，因为对高等和存在主义类型的阉割。

随着时间的流逝，Dotty 对 Scalaz & Cats 的影响是否已经阐明？内置效果器和记录等提议的功能会改变这些项目的范围吗？

我知道 Dotty 距离取代 scalac 仍有一段距离，但由于我正在考虑投入时间将纯功能结构和方法应用于我的工作，我认为考虑其旗舰库的未来很重要。

使用 sbt dotty 插件：

并运行sbt console，我尝试了新的联合类型功能：

为什么这不起作用？我使用联合类型错误吗？这还不行吗？

官方 Scala Dotty 团队展示了来自 ( https://dd.me/talks/scalaworld2015/#/12 )的这个例子

如果我使用最新的 Dotty nightly build，截至本文为“0.1.1-20170322-5fd7a95-NIGHTLY”，该示例会导致以下错误：

有什么办法可以让这个官方示例正常工作吗？

我正在开发一个使用sbt. 我想使用由dotty. dotty我在我的项目中使用时遇到问题。

我这样做了：

• 添加./projects/plugins.sbt并包含sbt-dotty./projects/build.properties中提到的内容。
• 添加了一个包含内容./projects/scalafix.sbt的配置文件 。这是在sbt-scalafix中提供的./.scalafix.confscalafixEnabled in ThisBuild := true

现在，如果我编译项目，我会得到一个巨大的Migration Warnings 和错误列表，例如Member Not Found Error,Ambiguous overload和以 . 结尾java.lang.AssertionError: no TypeBounds allowed。纠正这些错误中的每一个是避免这些错误的唯一方法吗？

在进行这些更改之前，该项目运行良好（使用 scalaVersion := 2.12.1）。谁能帮我让它工作？

编辑： sbtVersion = 0.13.13