scala - 如何在 Scala 中编程以与 Dotty 前向兼容

Question

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

Answer 1

我要给出的唯一其他建议是也远离包含类型成员的结构类型。这些类型成员是使 Scala turing 中的类型检查完成的元素，我还不确定我们是否要在 Dotty 中支持它。仅包含 vals 和 defs 的结构类型可能会继续受到支持。

Answer 2

在谈话快结束时，他说"if your program is compiled without any language feature imports for higher-kinded and existentials then you should be ok"。

因此，如果我理解正确，您唯一需要注意的是代码中可能使用的存在类型或更高类型的类型。