Lenguajes que compilan a bytecode aparte de Java (encuesta del mes)

Parece que todavía somos muy pocos los que nos hemos atrevido a probar alguno de los muchos lenguajes de programación, aparte de Java, que compilan a bytecode y que se pueden ejecutar en una máquina virtual java. Los más populares actualmente son Groovy, JRuby, BeanShell y Rhino. Groovy y BeanShell son dos lenguajes "originales" y ambos han empezado el proceso que les permitirá convertirse en el lenguajes estándar de la plataforma Java. JRuby, un porte de Ruby, y Rhino, un porte de Javascript, no han empezado el proceso de estandarización (al menos hasta donde yo sé) pero el primero lo hará con total seguridad al haber contratado Sun a los dos desarrolladores del proyecto.



Scala es otro de la familia. De éste todavía se ha hablado muy poco. Sin embargo, creo que esto está a punto de cambiar. Ese lenguaje "lleva la contraria" a todos los anteriores. En vez de ser un lenguaje de tipado débil y dinámico es un lenguaje de tipado estático tremendamente fuerte. Teóricamente, cualquier código compilado con el compilador de Scala nunca dará un error de tipos en tiempo de ejecución. Para no amargar demasiado la vida al programador con tantas restricciones de tipado, el lenguaje explota ampliamente técnicas de inferencia de tipos.



Es un lenguaje mixto funcional/orientado a objetos y pretende construir su nicho en los servicios web. Según sus desarrolladores, la programación funcional se adapta mejor que la orientada a objetos para este tipo de aplicaciones y, dada la creciente importancia de los servicios web, se hace imperativo que aparezca un nuevo paradigma de programación, de un modo similar a como hace 20 años apareció el paradigma de programación orientado a objetos como "consecuencia" del cambio de interfaces de usuario basadas en texto a interfaces de usuario gráficas. No sé si sus creadores tienen una razón, pero creo que pronto se va a empezar a hablar bastante de este lenguaje.



Estos no son todos los lenguajes. Hay muchos más. Eso sí, estos últimos suelen ser proyectos académicos/de investigación que no han alcanzado difusión.



Los que habéis probado alguno de estos lenguajes ¿qué lenguaje concretamente? ¿cuáles fueron/son vuestras experiencias con él?