¿Qué compromisos tiene Scala para ejecutarse en JVM?

Question

Scala es un lenguaje maravilloso, pero me pregunto cómo se podría mejorar si tuviera su propio tiempo de ejecución.
I.e. ¿Qué opciones de diseño se hicieron debido a la elección de JVM?

Answer 1

This article es una discusión con Martin Odersky (creador de Scala) e incluye los compromisos que se hicieron en Scala para la compatibilidad con Java. El artículo menciona:

1. sobrecarga estática de métodos
2. Tener ambos rasgos y clases
3. inclusión de null punteros.

Answer 2

Los dos compromisos más importantes que conozco son:

• type erasure ("reflecting on Type"): Tiene que manage a Manifest para moverse por la compilación de Java (JVM independiente de la, por razones de compatibilidad con versiones anteriores).
• colección de tipo primitivo: por ejemplo .: arrays

  nuevo esquema de manejo de arrays en Scala 2.8. En lugar de boxeo/unboxing y otra magia compilador del esquema se basa en las conversiones implícitas y manifiestos para integrar las matrices

Esas son las dos principales limitaciones de JVM, cuando se trata de administrar tipo genérico (con límites): El Java JVM no mantiene el tipo exacto de uso en un objeto genérico, y tiene tipos "primitivos".

---

Pero también se podría considerar:

• optimización de llamada se not yet full supported by the JVM, era hard to do anyway (y aún Scala 2.8 introduce the @tailrec annotation)
• UAP (universal Access Principle) debe ser emulado (no es compatible con Java) , y será pronto completed for Value Holder (@proxy)
• todo el mecanismo de mezcla también necesita ser emulado
• mor e Generalmente, el huge number of static types introducido por Scala necesidad (para la mayoría de ellos) para ser generada en Java:

Con el fin de cubrir tantas posibilidades como sea posible, Scala dispone:

• clase convencional tipos,
• tipos de clase de valor,
• tipos Nonnullable,
• tipos Monad,
• Tipos de características,
• Tipos de objetos singleton (módulos de procedimientos, clases de utilidad, etc.),
• tipos de compuestos,
• tipos funcionales,
• clases de casos,
• tipos en función del recorrido,
• Los tipos anónimos,
• tipos autónomos,
• alias Tipo,
• genéricos tipos,
• tipos genéricos covariantes,
• Cont tipos genéricos ravariant,
• tipos acotadas genéricos,
• tipos abstractos,
• tipos existenciales,
• tipos implícitos,
• tipos aumentada,
• Ver tipos delimitadas, y
• tipos estructurales, que permiten una forma de mecanografiar pato cuando todo lo demás falla

Answer 3

Menos un problema con el tiempo de ejecución que una resaca cultural: universal equality, hashing, toString.

Más profundamente ligada a la máquina virtual: por estricta evaluación por defecto, las funciones impuras, excepciones.