knocte :: MonoTema

Charlando con mi colega José Ramón, me comentó algo sobre un proyecto que iba a ser considerado como el "asesino" de Mono. La verdad, si algún proyecto iba a tener tamaña tarea, me pregunto cómo no escogieron un nombre más "vistoso".

Y es que "Vala" es un nuevo proyecto de Gnome que pretende coger lo mejor de los dos mundos entre un lenguaje nativo, sin orientación a objetos, con aritmética de punteros y rápido (C) y un lenguaje administrado, orientado a objetos, sin aritmética de punteros, y en el que la eficiencia suele considerarse como algo menor (por tener un JIT que lo compila al iniciar, y un runtime que lo gestiona, y lo monitoriza con un recolector de basura).

¿Qué coge Vala de cada uno?

• De C#: También es orientado a objetos y tiene administración automática de la memoria (sin punteros, sin necesidad de destruir los objetos explícitamente).


• De C: No necesita runtime, ni recolector de basura.

Y cualquiera se preguntaría, ¿cómo es posible? Pues porque Vala tiene un compilador cuya salida no es código máquina ni código intermedio, sino código C, lo que es muy interesante.

También es interesante la discusión que ha suscitado el tema en OSNews, de la que destaco este comentario por si no ha quedado del todo claro de lo que este proyecto es capaz.

Y yo me pregunto lo siguiente:

• ¿En qué se diferencia esto de la compilación AOT de Mono? (Aunque de todas formas, al parecer la compilación AOT no está completa porque no soporta genéricos. La gente de SharpOS parece que tenían en mente terminar de pulir estas cosas.)


• ¿Por qué no escogieron hacer un compilador de C# a C, en lugar de crear un lenguaje nuevo?


• ¿Qué opina Miguel de Icaza de todo esto? :)

Hay una cosa que no me gusta de Vala: al parecer es estáticamente tipado para tipos primitivos, pero es dinámicamente tipado para clases/objetos. ¿Volvemos al Lazy Programming? :(

Lo que yo haría si fuera Miguel de Icaza, es contratar a esta gente para que hicieran un compilador similar a Vala, pero para C#. Con eso podrían hacer que Gnome y otros detractores de lenguajes de alto nivel, usasen una API tan establecida y útil como la de Mono, además de ofrecer interoperabilidad con este lenguaje. O mejor aún, que hicieran un compilador que convirtiese IL a C. Y me repito ¿no es esto el AOT? (No digo que sea lo mismo que el AOT, sino que el AOT consigue lo mismo.)

Aunque ahora que lo pienso, ¿por qué el AOT soporta tan pocas arquitecturas? Porque compila directamente a nativo, en lugar de a C. A lo mejor habría que reescribir el AOT de Mono con este nuevo approach de manera que se reutilizara el tan estable y poderoso GCC.

Actualizacion 25-MAY-2008: Antes de nada quería agradecer a los que han publicado comentarios en esta entrada, pues han sido muy reveladores.

Y ahora queria rectificar algunas cosas que he dicho (y que sin embargo ningún comentario me había advertido):
a) Ahora que he estado trabajando unos meses con gcc (para hacer ciertas cosas de bajo nivel en mi nuevo proyecto en Novell) voy a dejar de considerar "todo poderoso" al gcc porque le he encontrado bugs graves (de parseo y de análisis semántico).
b) Resulta que Vala no es dinámicamente tipado, ¡es estáticamente tipado! Lo que ocurrió es que confundí su inferencia de tipos con la dinamicidad de tipos al ver un ejemplo de codigo. Pero gracias a esta entrada he salido de mi error (y aquí un ejemplo de codigo que recibe un Gtk.TreeView como parámetro de un método).
c) Con lo descubierto en el punto (b) me he quedado bastante entusiasmado con el proyecto. Aun asi, creo que sigue siendo interesante un runtime que gestione tu flujo de codigo, por lo que seguiré usando Mono en general. Sin embargo, para cualquier pieza de software que requiera permanecer en el nivel bajo (bien por rendimiento, o bien para ser "wrapeado" por otros lenguajes) consideraré seriamente empezar a usar Vala, y dejar de usar C de una vez por todas. De hecho opino que la industria debería empezar a reescribir todo lo que esta hecho en C a este lenguaje.

Labels: CSharp, General, Mono, Programacion, SoftwareLibre