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

Question

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

Answer 1

我要给出的唯一另一个建议是，也不要使用包含类型成员的结构类型。这些类型成员是在Scala turing中完成类型检查的元素，我还不确定我们是否想在Dotty中支持它。只包含定义和定义的结构类型可能会继续受到支持。

Answer 2

在演讲接近尾声时，他说"if your program is compiled without any language feature imports for higher-kinded and existentials then you should be ok"。

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