Feliz día de Ryz!!!

El año pasado anuncié que estaba trabajando en un lenguaje de programación llamado Ryz ( /reies/ ) y poco tiempo más tarde hice una pequeña presentación del mismo en el #HackerRoom para un "selectísimo" grupo de personas. Este post es una revisión del estado del lenguaje y siguientes pasos.

Historia

• octubre 2010 El primer Hola Mundo de Ryz.
• enero 2011 Anunció en Java México y creación del repositorio en http://code.google.com/p/ryz/
• mayo del 2011 Presentación del lenguaje y una aplicación muy sencilla para sacar screenshots.
• mayo del 2011 Se creó el repositorio en https://github.com/OscarRyz/Ryz/
• octubre 2011 Se planeaba terminar la funcionalidad básica que le permitiera entrar en fase alpha, pero por motivos de trabajo ( en agosto del 2011 inicié un proyecto que me consumió hasta los fines de semana ) y ya no pude avanzar como quería
• Se tenía planeado el beta para el día de hoy ( 6 enero 2012 ) pero esta muy lejos aún.

Estatus

Aunque el avance no fue como lo quería, veo con mucho agrado que la mayoría de la funcionalidad necesaria para pasar a alpha está lista.

Esto incluye las siguientes características implementadas:

• Definición de clases
   
• Definición de métodos, atributos de clase y de instancia con modificadores de acceso ( publico, protegido, paquete y privado ), ej.
   
• Definición de bloques de código
   
• Métodos de extensión:
   
 
• Annotations
   
  Ver http://projectlombok.org/features/Data.html para más info sobre esta anotación
• Herencia
   
• Implementación de interfaces
   
• Inferencia de tipo "obvia"
   
• Eliminación de checked excepcions
   
• varargs
   
• Multiline strings
   

( Todos estos ejemplos ya compilan y corren actualmente )

Y así varios otros "mini features" más, que por ejemplo sin ser parte del lenguaje mismo, permite construir "cosas" utilizando las características anteriores.

Por ejemplo, a la clase   se le puede agregar un método de extensión que se llame   que reciba como parámetro un bloque de código y tenemos entonces, control de flujo.

O si utilizamos un método de extensión   para las colecciones se puede escribir un código que itere una lista ejemplo
 

La única característica importante que no está incluída y que evita que el lenguaje entre en alpha es el acceso a las variables locales desde un bloque. Ya sé como resolverlo y he hecho varias pruebas pero aún no he tenido tiempo de implementarlo en el compilador:

Hay muchas otras características que no están implementadas aún y que irán en la fase alpha, ninguna sin embargo muy compleja y son más bien cosméticas así que incluyo podrían no ir.

Ejemplo

• Paréntesis opcionales para invocaciones con un solo argumento≤
   
  Lo cual serviría para hacer getters más interesantes:
   

  Que podría hacer el código un poco más legible sin caer en la magia extrema de otros lenguajes de programación.

•  

Funcionalidad lejana por incluir.

Existen muchísmas características más por incluir, pero no creo que sea buena hablar de ellas sobre todo cuando están tan lejos aún. También es importante para mí no cargar de características al lenguaje desde el inicio. La idea detrás de Ryz es que sea un lenguaje simple y sencillo, aunque la simplicidad y la sencillez sean casi por definición atributos subjetivos.

Aún así lo que tengo muchísima interés en implementar es:

• Tipeo estructurado
• Parámetros nombrados ( must have )
• Más inferencia de tipo
• Generics simplistas

Pero eso quedará supongo no para una primera versión sino para mucho más adelante ( excepto los parámetros nombrados que deben de ir lo más pronto posible )

Siguientes pasos

Pues bien, lo siguiente es terminar la parte de acceso a variables dentro de bloques para poder pasar a alpha y de ahí... chan chan chan chaaaan, hacer el compilado de forma "autocontenida" es decir, escribir el compilador en Ryz mismo ahora sí de una manera "correcta", es decir utilizando la sequencia scanner -> analizer ->AST -> IR -> target.

Actualmente el compilador esta hecho mmhh digamos que de manera "intuitiva" utilizando TDD, así que si está como está es por que fui a fondo con aquello de ... y los patrones emergerán aunque me ha faltado disciplina para aplicar la otra parte de: y entonces refactorizar sin misericordia...

Cuando esta parte este construída entonces Ryz entrará en fase beta y cuando todo aquello funcione muy bien, será el primer release.

Ese es el roadmap y quizá no resulte obvio, pero las fechas para todo aquello están más que en el aire, sin embargo no tengo prisa, la verdad es que voy haciendo esto en mi tiempo libre y a veces es muy pero muy poco el tiempo libre que tengo.

Lecciones aprendidas

Todo esto ha sido maravillosamente educativo. Confirme algunas creencias que tenía y vi de primera mano algunas cosas que no creí que pasarían.

Por ejemplo, vi que es cierto que se puede utilizar TDD para construir cosas como estas, también que se necesita un buen nivel de experiencia para aplicarlo para que se vaya dirigiendo la prueba correcta, de otra forma el TDD te puede llevar a /dev/null :P

También confirmé que escribir un compilador de forma no tradicional ( sin el pipeline descrito arriba , lexer -> parser -> ast -> etc ) es posible y aunque ya sabía que hacerlo de otra forma crea problemas de crecimiento no lo había atestiguado en realidad, así que eso también lo confirmé y es por ello que la fase alfa será hacer el lenguaje autocontenido ( y por eso ahora todo se llame pre-pre-pre-alpha )

Cosas que no me esperaba ( aunque ya las tenía en consideración ) es que la falta de palabras reservadas creara un vacío tal que confundiera, por ejemplo en los métodos, lenguajes como Java anteponen el tipo de retorno ( o void si no tiene )

Lo cual permite ver a simple vista donde empieza un método y otro. Otros lenguajes de programación de tipeo dinámico o con inferencia de tipo utilizan alguna palabra reservada como   ( la que más me gustá es fun, hace la programación divertida de nuevo ¬¬ ) y así por el estilo. Mi idea es que aquello no era necesario ( de hecho NO es necesario , al menos no todo el tiempo, en algún punto el compilador desecha esa y todas las palabras reservadas ) sin embargo, aprendí de primera mano que ese tipo de cosas sirven al humano, al programador pues, para que visualmente pueda identificar en un pedazo de código grande los métodos. Al no tener nada, se confunde un poco donde empeiza un método y donde esta un bloque de código y/o la invocación a otro.

Ejemplo
 

Conclusión

En fin, me ha dado mucho gusto poder crear esto desde cero. No es el objetivo competir contra otros lenguajes, ni tratar de ser mejor o peor que otros, he encontrado que con que me guste a mí en este momento es razón más que suficiente para existir, y no es egoísmo extremo, simplemente que hay cosas así en la vida, que uno quiere hacer y si las puede hacer las hace y ya.

También me dio mucho gusto encontrar que al menos en diseño Ryz se anticipó, pareció o coincidió con otros lenguajes que tienen la misma dirección, crear un lenguaje de programación compatible con Java que sea más sencillo de usar, después de ello se dieron a conocer esfuerzos como Dart, Extend, Kotlin y Ceylon de los cuales ya hemos dado cuenta acá en Java Mexico. Claro, no es comparación ni nada, es obvio para mí desde el inició que aquellos son lenguajes mucho más mmmhh "formales" y soportados por organizaciones grandes. Aún así, eso no me desmotiva.

Pues esto es todo. Feliz día de Ryz!! :)

TL;DR
Ryz sigue vivo, va lento pero ya tiene muchos features implementados y en el 2012 será autocontenido y seguirá creciendo.

El primer release = undefined