tutorial - scala software

Cómo programar en Scala para ser compatible con Dotty

Question

En su reciente talk en Strange Loop, Martin Odersky arrojó luz sobre su visión de la futura versión de Scala llamada Dotty. Entiendo que esto es un trabajo en progreso e incluso puede que no fluya a Scala (al menos no muy rápido) debido a muchos posibles problemas de compatibilidad con versiones anteriores. Pero si sucede, ¿cómo deberíamos programar en Scala hoy para que sea compatible con Dotty? No obtuve todas las ideas de la charla, así que me gustaría que alguien más profundo resumiera los cambios y describiera cómo podemos prepararnos para ellos.

Answer 1

El único otro consejo que daría es que también se mantenga alejado de los tipos estructurales que contienen miembros de tipo. Esos miembros tipo son los elementos que hacen que la comprobación de tipos en Scala turing sea completa, y todavía no estoy seguro de si queremos admitir eso en dotty. Los tipos estructurales que contienen solo vals y defs probablemente se mantendrán soportados.

Answer 2

Hacia el final de la charla, dice que "if your program is compiled without any language feature imports for higher-kinded and existentials then you should be ok" .

Por lo tanto, si lo entiendo correctamente, lo único que debería tener en cuenta es cualquier posible uso de tipos existenciales o tipos de tipo más alto en su código.