Tuesday, April 29, 2008

Binarios de LayerD - SDK 0.5.0 Alpha

Al fin no más promesas o fechas tentativas, esta vez release de verdad para todo el mundo. Veo que es tarde pero todavía es Martes 29 de abril de 2008 en Córdoba Argentina, como prometí el primer release de binarios con un "mini-SDK" de LayerD se encuentra disponible a partir de ahora y para siempre para todo el mundo que lo encuentre interesante.

Primero, el link para bajar los binarios desde SourceForge: Download LayerD SDK 0.5.0

Dividiré esta nota en dos partes: sentimentalismo y notas técnicas.
Si no le interesa mis pensamientos o sentimientos al respecto de éste release vea directamente las notas técnicas.

Sentimentalismo del Release

Desde que LayerD en su forma actual fue una idea halla por fines del año 2002 hasta ahora han pasado largos años y mirando para atras se sienten muchas cosas.
No fue sencillo desarrollar esta humilde pero pretenciosa tecnología cuando todo es realizado a pulmón. Sin embargo, a lo largo del camino que fue - y seguira siendo - el desarrollo de éste proyecto me encontré con muchas manos amigas que me ayudaron y bancaron de diversas maneras.
Ya no recuerdo cuantas veces pensé en tirar todo el proyecto literalmente a la mierda, "para que esforzarme con esto tanto". Pero por alguna razón todas esas ideas terminaron plasmandose en lo que hoy es LayerD como dije, en gran medida gracias a todas las personas que me ayudaron o apoyaron a lo largo de este tiempo.
Tengo que agradecer a mucha gente, en primer lugar a mi familia y a mis padres a quienes les debo casi todo lo que soy, en segundo lugar a Dios por permitirme vivir tantas cosas grandiosas, a todos mis amigos de siempre que implícitamente o explícitamente son un gran apoyo para mi siempre. A quienes siendo alumnos de la UTN-FRC se animaron a sumarse al proyecto ya empezado de otro alumno en el Laboratorio de Investigación de Software de la UTN, en párticular a Lucas Forchino, Demián Odasso y Alejandro Romero quienes me dieron una gran mano y aunque no lo sepan mucho animo para continuar con el proyecto, también a muchas otras personas que se acercaron al proyecto a todos ellos gracias!.
También quiero agradecer a Juan Carlos Vázquez quien me apoyo para poder llevar el proyecto desde mi casa al laboratorio de la facultad lo cual significo posiblemente que el proyecto no se cayera antes de dar algún resultado.
No puedo no agradecer enormemente a mis actuales compañeros de trabajo Javier Dall'Amore, Pablo Frias y Mateo Bengualid quienes se convirtieron en los tres primeros programadores de Classfactorys del mundo jaja - a parte de mi claro - y realmente no se quejaron cuando encontraron algunos de los infinitos bugs en el compilador Meta D++ y Zoe, gracias a ellos ahora son herramientas que se dejan usar mucho más!!
Seguro me estoy olvidando de agradecer a más personas, si sos uno de ellos perdón!!!

Notas Técnicas

El release es considerado SDK 0.5.0 por la sencilla razón de creer que en la actualidad los compiladores y herramientas entregadas poseen quizas la mitad de la madurez y funcionalidad que me gustaría tuvieran. Queda muchisimo trabajo por delante para terminar de implementar todas las funciones del lenguaje Zoe y Meta D++, los modulos de salida (bueno aquí el trabajo literalmente puede ser infinito por que se puede tener cuantos módulos quieras :-), lo mismo que en los meta-lenguajes y las líbrerias de classfactorys o clases ordinarias jeje ).

Recuerden lo siguiente antes de ponerse a jugar con LayerD:
  1. Se escribe el programa en Meta D++ (actualmente el único compilador de alto nivel LayerD disponible públicamente)
  2. Se compila el programa con el compilador de Meta D++ (metadppc.exe).
  3. Se compila el resultado (programa .zoe) con el compilador Zoe (zoec.exe).
En el instructivo incluido en el paquete se explica brevemente la utilización de los compiladores, vea la ayuda de linea de comandos para más información - no todos los parámetros de los compiladores funcionan, la mayoría si.

Sólo distribuyo el modulo de salida a .NET porque es el más trabajado y depurado, el módulo de salida Java seguramente estará público prontamente pero deberán de esperar al menos unas semanas dependiendo del tiempo que tenga.

Y los releases a partir de ahora serán seguidos con cada versión un poco más completa y con menos bugs!! de los compiladores. Por favor, tengan en cuenta que en el release actual varias funciones importantes no están implementadas y no pueden considerarse versiones estables, ni siquiera betas para mi gusto - aunque muchas empresas comerciales lanzan "release candidates" en condiciones muy dudosas - prácticamente todo el código esta escrito aprendiendo sobre compiladores - antes no había desarrollado otros lenguajes o compiladores son mis primeros :-) - y en tiempo libre fuera del estudio y el trabajo. Más halla de estos detalles los compiladores permiten desarrollar cosas serias, de hecho ya hay varios miles de líneas programadas en LayerD siendo la mayoría de ellas Classfactorys :-), y todo eso en el marco de un proyecto comercial real, por tanto no hay pretextos para no probarlos!! ;-)

Lo se, la documentación es escasa, pero lo ire subsanando de a poco, en una o dos semanas subiré un manual de Meta D++ y una versión actualizada de la especificación de Meta D++ (la actual en el sitio LayerD.net no esta actualizada), también estaré actualizando el sitio web LayerD.net que ahora no tuve tiempo de hacerlo.

En lo subsiguiente empezaré a poner publicamente en SourceForge el código del proyecto. Empezando por el compilador Meta D++ y el Modulo de Salida Zoe a .NET, luego el código del compilador Zoe. Todo con licencias Open Source.

Bueno, espero alguien pueda disfrutar y aprovechar estas herramientas!!! Espero el feedback!!

Saludos !!,
Alexis Ferreyra

Saturday, April 19, 2008

Nos encanta que nos mientan

A los desarrolladores, ingenieros de software, analistas, etc. nos encanta que nos mientan. Luego de pensar por mucho tiempo y observar la conducta de mis pares durante algunos años y observando la reciente historia del desarrollo de software llego a ese inequívoca conclusión.
¿Por qué pienso esto? Para explicarlo me voy a ayudar con términos gráficos usando una burda línea del tiempo:




La imagen superior muestra una improvisada reseña de algunas tecnologías recientes que se me vinieron a la mente - incluye un poco de todo, lenguajes, frameworks, librerías, etc. - y lo dibuje rápidamente con Inkscape :-).
No me critiquen los errores, ni la escala, ni el diseño gráfico inexistente, es algo aproximado, pero escucho sugerencias de cambios o cosas que me haya olvidado.

Lo interesante es notar como en relativamente poco tiempo - 1990 a 2008 son 18 años - han pasado tantas tecnologías y herramientas que en definitiva sirven para lo mismo, hacen lo mismo, y lo que es peor nos venden los mismos fabricantes. Si usted es un joven y no conoce mucho de la historia reciente del desarrollo de software le recomiendo que investigue un poco para poder visualizar la cantidad de herramientas que hemos tenido que aprender quienes estamos en esto de la programación desde hace más de una década. De todas formas si todavía no sufrió el paso de una tecnología propietaria o "abierta" a otra "nueva" que hace lo mismo "pero es mejor" seguramente lo sufrirá próximamente.
Cuando se pasa por la situación de tener que reescribir nuestro software en varias plataformas, lenguajes, runtimes, pero que en definitiva ES LO MISMO, podemos tener dos reacciones: sentimos una profunda desesperación y llegamos a percibir lo precaria e involucionada de nuestra profesión, o nos ocurre lo contrario y reescribimos nuestros repetidos programas encantados de hacer lo mismo una y otra vez con cada "cosa nueva".

Es entendible que las personas jóvenes, quienes estan hace poco tiempo en esto del software, se inclinen por la resignación o se vean sorprendidos cuando don microsoft (si con minúscula) les dice lo lindo que es .NET y como es mejor que todo lo anterior, o aplaudan a un "evangelizador" java cuando en una conferencia les cuenta lo hermoso de hacer programas SOA con java (si también con minúscula) y como perdieron el tiempo si habían desarrollado demasiadas cosas con EJB 2.0 usando algún ORB CORBA porque en definitiva ahora eso no es necesario. Lo que quiero decir es que entiendo que quienes tenemos menos experiencia - y me incluyo - nos creamos muchas veces esta dialéctica del "avance tecnológico" de las grandes empresas proveedoras de software de base y middleware.
Pero lo que no entiendo - o si lamentablemente - es que profesionales con muchos años de experiencia, con muchas tecnologías y lenguajes de programación en su espalda se lo sigan creyendo o al menos sigan realizando software sin importarles que lo que hoy estan escribiendo lo deberán tirar a la basura en un par de años cuando el framework de moda lo reemplaze.

Gustave Eiffel, famoso ingeniero estructural frances, diseño junto a Emile Nouguier y Maurice Koechlin - principales ingenieros en Gustave Eiffel & Cia. - su aún más famosa torre Eiffel hace poco más de 120 años. Planeada desde 1884 y rechazada para ser construida en la feria mundial de 1888 en Barcelona se termino construyendo para la feria mundial de 1889 en Paris.
Proyectada inicialmente para durar 20 años la torre se volvió inmensamente popular recibiendo hasta la actualidad más de 236.000.000 de visitantes. Antes de su inauguración y durante su construcción recibió numerosas criticas de diversos artistas y personalidades, miedos de que la torre se cayera y causara un desastre, criticas a su "fealdad" y a su "desnudez".
Durante el dominio Alemán de Paris en la segunda guerra Hitler mando a desmantelarla, cuando los aliados se acercaban a la recuperación de la ciudad, pero el oficial a cargo ignoro la orden afortunadamente. Su principal mantenimiento es ser repintada cada siete años.
Eiffel explicaba a los críticos iniciales de la torre que su forma y apariencia "desnuda" era resultado de las matemáticas e ingeniería aplicada en el diseño para garantizar que la torre no se cayera sobre su propio peso, y más importante resistiera los embistes del viento. La ingeniería debía aplicarse para lograr construcciones solidas y duraderas.

Lo de la torre es uno de tantos ejemplos en la ingeniería civil que se pueden encontrar para mostrar que en dicha disciplina "tener ingenio" y realizar construcciones durables, solidas y confiables, es posible.
Tal vez no es justo comparar la ingeniería estructural con la ingeniería de software, pero si ambas son ingenierías pienso que es valido comparar salvando las distancias, y pienso que es valido esperar que un día la ingeniería de software alcance y supere en sus construcciones la durabilidad y solidez en la ingeniería civil.
En los puentes, las torres, los edificios son las fuerzas de la naturaleza los que limitan la duración de una construcción.
En la ingeniería de software nuestro producto corre sobre nuestro propio mundo, en nuestro propio universo hecho a medida, dinámico como el mundo real, pero diseñado y construido por nosotros. En la ingeniería de software no existen huracanes, tornados, terremotos, erosión, gravedad terrestre, fatiga de materiales. Entonces deberíamos de preguntarnos que es lo que hace que el producto de nuestro trabajo sea tan poco solido, tan poco perdurable cuando en realidad contamos con un entorno "controlado" y diseñado por nosotros mismos - al menos por nuestros pares - y aún así el software que construimos es en general patéticamente frágil y perecedero. Difícilmente algún ingeniero de software hoy en día se anime a garantizar la durabilidad de un software por más de diez años, situación que encuentro muy graciosa teniendo en cuenta que el software es una abstracción y por tanto deberíamos de poder garantizar su durabilidad por lo menos por un par de siglos.

Sin lugar a dudas, los ridículos resultados de la ingeniería de software tienen muchas causas y pasar de la prehistoria actual a la modernidad nos llevará un tiempo y se requerirá un cambio cultural y técnico muy importante. Pero debemos empezar a trabajar ya mismo para lograr ese cambio en las generaciones que vendrán. Hoy en día aunque existiera un Gustave Eiffel de la ingeniería de software no podría construir su torre por que sencillamente no contaría con los medios técnicos para realizarlo aunque poseyera el ingenio y la creatividad necesaria.

Para comprender más lo precaria de nuestra situación basta con observar en las universidades - al menos las argentinas que son las que conozco, y entiendo no estan muy alejadas de las del resto del mundo - las carreras de sistemas. En mi querida UTN regional Córdoba, para poner un ejemplo, prácticamente sólo se enseña java y algo de .net, sólo el proceso unificado y el paradigma de orientación a objetos. Los alumnos luchan para hacer estúpidos ABMs de forma artesanal tal como un troglodita armaría una choza detrás de otra a mano porque no conoce ninguna técnica más avanzada ni cuenta con ninguna otra maquinaria o herramienta más que solo un destornillador.
En esa misma universidad un profesor de probablemente la materia donde más programación se ve en toda la carrera implementa un algoritmo de archivos en java usando: "longitudIndice = cantidad * 8" donde "8" es la cantidad de bytes en un tipo de datos "long" en java. Querido!! el long en java mide 8 bytes porque la JVM actual es de 32 bits, cuando se pase a una JVM de 64 bits ese software ya no funciona más.

Nota: como me han hecho notar sabiamente mi ignorancia con la JVM 64bits, el ejemplo es incorrecto porque en la JVM actual de 64bits el long también posee 64bits -me temo que segui el pensamiento logico de pensar que en una plataforma de 64bits un "int" sería del tamaño de palabra de la plataforma es decir 64bits y por tanto el long debería ser de 128bits, estoy pensando que es más confuso que tener "long" que no son "long" :-). Esto no es así en la JVM de 64bits actual, lo cual no invalida de todas formas el ejemplo. Hardcodear un tamaño de tipo nativo en código que va a manejar archivos sigue siendo errado - mi humilde oponión es que lo correcto es poner "Long.SIZE / 8" a falta de un "sizeof" y teniendo en cuenta que el miembro SIZE en java devuelve la cantidad de bits lo cual ya si es indivisible e independiente de la plataforma de igual forma que el valor 8 que en este caso es el tamaño de un byte lo cual si es universal, pero de todas formas lo ideal sería que el lenguaje proporcionara un sizeof - desde el punto de vista de generar software multiplataforma y de larga duración, el punto del ejemplo sigue siendo el mismo, simplemente aceptamos la fragilidad del software y el alto acoplamiento con un runtime y plataforma en particular, ni lo pensamos, ni nos importa. Es curioso notar que en la especificación del lenguaje Java aclara que los arrays pueden contener un máximo de elementos basados en un indice de 32bits y es un error hacer: "long var=5; int mat[]=new int[5]; mat[var] =1;". Evidentemente ni los diseñadores de Java tuvieron en cuenta entornos de ejecución futuros y realmente tener un "long" que en realidad es un entero común en 64bits no es muy convincente, adicionalmente en memoria los tipos de datos de la JVM 64bits no ocupan necesariamente lo esperado, por ejemplo el long ocupa 128bits en el stack. Repito que no es un ataque a nadie, la idea es mostrar como no pensamos en ello, incluso personas con muchisima experiencia y conocimientos - como el profesor del ejemplo - no piensan en ello.

Básicamente, los profesores enseñan a los alumnos a construir casas con palitos y fósforos apilados. Pero no lo hacen por maldad, lo hacen por ignorancia, pero por sobre todo lo hacen por falta de profundidad y visión, es que se educaron durante años en un ambiente donde todo el mundo acepta que el software que construye es tan duradero como una escultura de hielo en epoca invernal o una de arena realizada en la playa durante la baja mar.

Todos, quienes estamos en esta profesión debemos de cambiar nuestra manera de pensar, debemos de ser altamente críticos, constructivos, y entender que en la ingeniería de software existe prácticamente todo por construir e inventar, no nos tiene que gustar que nos mientan como nos mienten, el software actual es precario, frágil, caro, ineficiente. Las técnicas y herramientas son primitivas, observemos el diseño de la mayoría de los compiladores nada más, prácticamente no han cambiado en treinta años. Debemos ponerle pasión a nuestra profesión, ingenio, creatividad, debemos encontrar las herramientas adecuadas para construir mejor software, más sofisticado, a menor costo, más durable por favor!!! no puede ser que un software dure menos de cinco años, de hecho no deberíamos de aceptar ningún software que no dure al menos cincuenta años. Si lo que acabo de decir le parece exagerado al lector eso muestra que querido lector no posee la profundidad de visión ni la convicción en su profesión ni la confianza en si mismo de ser capaz de lograrlo lo cual creo muestra que mi punto sobre la precariedad de la ingeniería de software es acertado.

La clave es ser activos en este problema y proponer soluciones al menos parciales. En una conferencia en Buenos Aires para el lanzamiento de .NET en Argentina en 2002 tuve la oportunidad de presenciar un auditorio lleno de profesionales aplaudiendo a la gente de microsoft con minúscula cuando les decían en la cara que todo el software desarrollado que tenían no servía más y lo tenían que reescribir en .NET o resignarse a que entre en estado de putrefacción mientras microsoft quita el soporte a sus plataformas anteriores. LOS APLAUDIAN!!!

Ya venia pensando en algo como LayerD hacia unos años pero esa experiencia fue una de las cosas que me hizo decidir a dedicarle tiempo y tratar de proponer yo mismo un conjunto de herramientas para empezar a encarar la estupidez en la ingeniería de software.

LayerD humildemente trata de considerar todos los principales problemas de la ingeniería de software a nivel global histórico y que tienen que ver con la baja durabilidad, calidad y el alto costo de desarrollo. Por tanto, LayerD provee medios para manipular de forma automatizada y programable cualquier componente de la implementación de un software - el código fuente - y mecanismos modulares para tener siempre una puerta abierta con la cual adaptar nuestra implementación a cualquier plataforma actual o futura. Sin lugar a dudas, LayerD distará de ser la herramienta y maquinaria perfecta, pero al menos proporciona medios para empezar a encarar este problema que no vemos y nos afecta a todos en múltiples niveles.

Por ejemplo, mediante classfactorys es posible encapsular APIs y diferencias entre entornos de ejecución diversos de forma transparente y sin incurrir en perdida de performance necesariamente. Las classfactorys interactivas permiten encapsular herramientas RAD de forma independiente a cualquier runtime, lenguaje de alto nivel o IDE de desarrollo. La posibilidad de utilizar lenguajes de dominio especifico y programación orientada al lenguaje abre la puerta al diseño de software más abstracto, reutilizable y mantenible. Las capacidades de análisis de código en tiempo de compilación permite integrar herramientas que en la actualidad se deben manejar de forma separada y realizar análisis exhaustivos de código y son además sencillas de programar. A partir del 29 de abril del 2008 - cuando esten disponibles para todo el mundo que le parezca interesante - empezare a mostrar con ejemplos como estas palabras abstractas se convierten en algo concreto usando el framework LayerD.

Con estos pequeños pensamientos espero despertar la curiosidad en los lectores e incitarlos a no conformarse con lo que nos venden y cuentan, ser críticos, buscar y desarrollar si es necesario mejores alternativas para elevar la calidad y durabilidad del software, para pasar en algún momento de la época de las cavernas a la modernidad. Espero sinceramente que la próxima década los ingenieros de software nos encontremos con un panorama mucho mejor en el cual dispongamos y sea común la utilización de nuevas herramientas como LayerD y otras similares que estan viendo la luz en estos días.

La proxima vez que vayamos a una conferencia de estos "evangelizadores" y nos diga "esto si funciona, es mejor que lo que antes te dije que era mejor, esto es estándar y lo soportaremos por largo tiempo" no le creamos y mostremos nuestro dedo del medio bien en alto, le hagamos saber que no somos niños, somos adultos así que no nos vengan con soluciones baratas con escaza ingeniería y creatividad - por no decir cero -, perdón por el tono, pero el software es mi vocación y como todos los que amamos esto queremos contribuir en algo mínimo y es irritante como muchas empresas nos tratan como niños ciegos que no podemos ver más halla de nuestra nariz. Tratemos de ver el problema con profundidad histórica y técnica, de lo contrario nunca lo solucionaremos, si seguimos creyendo que un estándar - corporativo o no - durará por siempre y esperamos las soluciones a los problemas de nuestra profesión vengan de estas mismas empresas estamos perdidos.

Saturday, April 12, 2008

Guerra de Sintaxis, LayerD no va a la guerra

Desde que aparecieron los primeros lenguajes de programación en la década del 50 aproximadamente - dejando de lado otros antecedentes históricos que pueden considerarse - todo el mundo ha discutido sobre la conveniencia o no de diferentes sintaxis a utilizar en los lenguajes de programación.
Lo cierto es que a la hora de diseñar la estructura léxica y sintáctica de un nuevo lenguaje de programación - hablando siempre de lenguajes cuya sintaxis es textual - deben tomarse decisiones de compromiso. Una decisión típica que debemos tomar es elegir si nuestro lenguaje será fácil de escribir o fácil de leer, o al menos eso hacemos.
La sintaxis de un lenguaje de programación es importante en muchos sentidos:
  • Es la cara visual del mismo
  • Si gusta a los programadores a la hora de escribir los programas sumará al lenguaje en popularidad.
  • Si es fácil de leer será más fácil mantener el código. Por el contrario, si es complejo de leer la manutención se dificultará.
  • Como en general se dispone de una única sintaxis puede limitar la adopción del lenguaje por muchos programadores a los cuales no les agrade inicialmente.
A lo largo del tiempo cada lenguaje ha tenido que defender sus diseños sintácticos, por citar un ejemplo transcribo una porción de un manual de Python:

...The indentation rule may seem unusual at first glance to programmers accustomed to C-like languages, but it is a deliberate feature of Python, and one of the main ways that Python almost forces programmers to produce uniform, regular, and readable code. It essentially means that you must line up your code vertically, in columns, according to its logical structure. The net effect is to make your code more consistent and readable (unlike much of the code written in C-like languages). To put that more strongly, aligning your code according to its logical structure is a major part of making it readable, and thus reusable and maintainable, by yourself and others. In fact, even if you never use Python after reading this book, you should get into the habit of aligning your code for readability in any block-structured language. Python forces the issue by making this a part of its syntax....


Se podrían citar decenas de ejemplos más, en definitiva cada uno de los lenguaje dirá lo mismo "que buena que es esta sintaxis en comparación con el lenguaje X por bla, bla, bla, bla".
A partir de ello uno podría preguntarse porque no han surgido lenguajes de programación para los cuales se puedan usar más de una sintaxis. El problema con éste enfoque es la complejidad que implicaría el mantenimiento si no contamos con algún mecanismo que vuelva transparente la traducción entre diferentes sintaxis, además del aumento en la dificultad a la hora de capacitar a los programadores.

En última instancia el gusto personal de cada programador convierte la tarea del diseño de la estructura léxica y sintáctica de un lenguaje en algo mucho más cercano al arte y la subjetividad que a la ingeniería.

Personalmente, siempre me molesto tener que seguir una sintaxis en particular a la hora de programar para determinada plataforma y también me he preguntado porque debemos usar la misma sintaxis para escribir un programa que para leerlo. Lo cierto que ya transcurrieron más de 50 años desde la aparición de los primeros lenguajes de programación de alto nivel y parece que todavía discutimos que estilo sintáctico es mejor para un lenguaje de programación cuando en realidad desde el punto de vista de un compilador y un entorno de ejecución la sintaxis utilizada para construir un programa es algo totalmente irrelevante. Los pilares de cualquier lenguaje de programación o entorno de ejecución son su estructura de tipos y las características semánticas asociadas. Me da toda la sensación que a estas alturas de la historia deberíamos de haber pasado a la adultez en la ingeniería de software y poder utilizar libremente diferentes sintaxis de acuerdo a nuestro gusto, humor y proyecto en el cual estemos trabajando. Tampoco deberíamos limitarnos a utilizar la misma sintaxis para leer los programas que para escribir, sencillamente es mucho más eficiente utilizar diferentes formatos para la escritura que para la lectura.

En la actualidad, al menos en cuanto a entornos de programación populares, la única plataforma que ofrece cierta libertad a la hora de elegir la sintaxis es .NET de Microsoft. También se puede nombrar varios lenguajes de programación para la plataforma Java. Quizás, la limitación de estos lenguajes que apuntan al mismo entorno de ejecución es la falta de herramientas automatizadas para la traducción entre ellos, adicionalmente no siempre las características semánticas son completamente compatibles entre los diferentes lenguajes. Adicionalmente, no se poseen herramientas que nos permitan utilizar diferentes sintaxis para leer los programas de manera sencilla o al menos usadas de forma masiva.

Por estas razones, a la hora de diseñar LayerD quise asegurarme de poder utilizar múltiples sintaxis y evitar esas largas discusiones sobre que sintaxis es mejor para escribir un programa o que sintaxis es más adecuada para leerlo y mantenerlo. El 99,9% de los lenguajes de programación actuales combaten en la guerra de sintaxis desde que nacen, con un poco de suerte en el caso de los lenguajes de alto nivel dentro el framework LayerD eso no será así.

LayerD no va la guerra de sintaxis.


Con LayerD se puede elegir entre diferentes sintaxis para escribir los programas y se posee una multitud más de formatos para leerlos. Ok, en sus primeros meses no se poseerán muchos lenguaje LayerD de alto nivel - llamados meta-lenguajes - ya que en la actualidad disponemos del meta-lenguaje Meta D++ - el cual posee una sintaxis heredada de C++ y en parte de Java y C# - y el lenguaje Argentino - cuya sintaxis es tipo pascal pero en español, Ok necesito que Lucas Forchino termine esto que me lo prometió :-) - te quiero amigo jeje -, y finalmente más cerca de mediado de año se contará con un clon de C# el cual implementará un subset de la sintaxis de C#.

Esto es posible por la naturaleza modular de LayerD y la necesidad de todo meta-lenguaje de generar código en el lenguaje intermedio Zoe. Es interesante mencionar, que construir un meta-lenguaje para LayerD es relativamente sencillo ya que sólo se requiere programar un analizador léxico y uno sintáctico, luego el compilador Zoe se encarga del resto.

Para no olvidarnos de los problemas que nos pueden traer aparejado tener varias sintaxis para programar en una misma plataforma, la mayoría de los meta-lenguajes podrán traducirse de forma automatizada a otros meta-lenguajes utilizando el compilador Zoe y su proceso de "compilación interactiva" - lo cual es toda otra historia con muchos cuentos interesantes para otro día :-).

Tampoco me olvide de encarar la idiotez sintáctica en los lenguajes de programación y utilizando hojas de estilo se pueden leer los programas escritos en cualquier meta-lenguaje y compilado al código intermedio Zoe con un formato diferente al de escritura y por tanto optimizar la sintaxis para lectura y análisis de un fuente. Poseer una estructura sintáctica diferente para la lectura de un programa LayerD es tan sencillo como contar con una hoja de estilo aplicada al código Zoe que es XML.

Con suerte muchos programadores estarán de acuerdo en terminar con las guerras sintácticas y empezar a utilizar plataformas que permitan decidir que sintaxis utilizar cuando se escribe un programa y que formato visual usar a la hora de leer y examinar programas. LayerD provee un empujón a dicho enfoque permitiendo tener múltiples sintaxis de alto nivel a un costo relativo bajo - desarrollar un meta-lenguaje -, permitiendo traducir entre ellos de forma automatizada y abriendo la puerta para empezar a diferenciar lo que nos conviene a la hora de escribir programas y a la hora de estudiarlos.

Espero comentarios y pensamientos al respecto, si tengo tiempo amplio el post con gráficos y ejemplos de LayerD.

PD: 29/4/2008 se publicará en éste blog o el sitio web de http://layerd.net la primera versión binaria publica de los principales compiladores del framework LayerD así todos pueden empezar a jugar.....y a insultar los bugs.

Wednesday, April 2, 2008

¿Qué diablos es LayerD?

Si ingresaron a esta página por error, o porque alguien más le paso el link pero nunca antes habían escuchado sobre el proyecto LayerD, nunca visitaron su sitio web, o si visitaron su sitio web pero no entendieron nada y no quieren leer durante horas para saber que diablos es esto del proyecto LayerD, intentaré explicarlo en esta entrada lo más sintético posible.

Desde que inicie el proyecto LayerD en su forma actual alrededor del 2002 siempre se me complico a la hora de explicarlo, sus alcances y su razón de ser. De hecho me ha resultado casi imposible poder ponerlo todo de una forma coherente y creíble en un paper de 10 páginas.

He escuchado de todo cada vez que una persona lee algo de la página del proyecto y me cuenta lo que opina o lo que entendió.

Cosas como:
- LayerD es un traductor de código.
- LayerD te permite escribir un programa en .NET y ejecutarlo en una JVM.
- LayerD es un procesador de templates.
- LayerD es basura.
- No entiendo cual es el sentido de hacer tanto lío!!
- LayerD es como .NET pero sirve para Java.
- Que es LayerD es lo mismo que LayerD D++?
- LayerD es un traductor de lenguajes.

La verdad que al escuchar cada una de esas "conclusiones" me daba cuenta lo mal explicado - o lo difícil que es explicarlo en ocasiones - y la verdad es que explicar que es LayerD de una manera sencilla depende del nivel de conocimientos. Si pregunta un estudiante de ingeniería en sistemas o un programador aficionado que sólo a usado lenguajes como Java, .NET, C++, Visual Basic, la respuesta es de una forma. Si pregunta un programador experimentado en lenguajes dinámicos como Lisp, Ruby, Python, Smalltalk la respuesta es más sencilla en cierto punto. Si pregunta una persona con experiencia y conocimientos en meta-programación, lenguajes dinámicos, programación declarativa, intencional u orientación al lenguaje entonces la respuesta es más fácil.

Por tanto voy a responder a la pregunta de ¿Qué diablos es LayerD? teniendo en cuenta estas clasificaciones.

Y si quieren una respuesta lo más escueta posible y exacta la respuesta es:
  • LayerD es un framework que permite desarrollar software realmente abstracto.

Ahora las respuestas para las clasificaciones anteriores, aunque quizás no sea mala idea leerlas a todas:

  • Si conoces sobre meta-programación, programación declarativa, MOPs, paradigmas como orientación al lenguaje y programación intencional: LayerD es un framework compuesto por múltiples lenguajes de alto nivel - los cuales aislan de una sintaxis en particular - y un lenguaje intermedio común denominado lenguaje Zoe el cual posee capacidades de meta-programación completas en tiempo de compilación y una generación de código modularizada. Las capacidades de meta-programación del lenguaje intermedio Zoe permiten desarrollar fácilmente DSLs, nuevas construcciones semánticas y programar cualquier tipo de análisis y transformación en tiempo de compilación utilizando un árbol sintáctico abstracto marcado semánticamente. Los múltiples lenguajes de alto nivel como entrada además de permitir aislar al programador de alto nivel de una sintaxis en particular permiten utilizar de forma sencilla "skins" de lectura teniendo en cuenta que el lenguaje común intermedio (Zoe) es xml. La generación de código es completamente modular y es posible "enchufar" módulos para integrar diferentes runtimes ya sean nativos, maquinas virtuales, interpretes, etc. Por todas estas características LayerD permite utilizar múltiples paradigmas - aunque esta basado en orientación a objetos - y además desarrollar software multiplataforma real.
  • Si conoces sobre lenguajes dinámicos como Smalltalk o Lisp: LayerD posee multiples lenguajes de alto nivel, por tanto se puede programar con diversas sintaxis. Sin embargo, todos los lenguajes de alto nivel generan el mismo código intermedio: código en lenguaje Zoe. El lenguaje Zoe posee en tiempo de compilación - esto es mientras se esta compilando, no en tiempo de ejecución - características "similares" a los lenguajes dinámicos que te permiten examinar y modificar el programa que se esta compilando - obvio que de forma controlada - permitiendo realizar muchas de las cosas que se pueden hacer con un lenguaje dinámico pero mientras se compila el programa, luego en tiempo de ejecución se usa un runtime nativo y estático - a no ser que no querramos - por lo tanto no tiene penalidades de performance en tiempo de ejecución. A diferencia del común de los compiladores la generación de código e importación de tipos esta modularizada, por tanto enchufando modulos para diferentes runtimes puedo utilizar todo lo que ya existe en runtimes existentes como .NET, Java o el API nativa de un sistema operativo. Todas estas herramientas - más otras características - nos otorgan un balance entre la flexibilidad de los lenguajes dinámicos y el rendimiento de los lenguajes estáticos. En LayerD es relativamente sencillo programar lenguajes de dominio especifico, extensiones semánticas y técnicas de programación orientada a aspectos y declarativa. Como el árbol sintáctico en tiempo de compilación posee información semántica es posible realizar multitud de análisis en él.
  • Si es un estudiante o programador en lenguajes "populares" como Java, C++, Visual Basic, C# y no conoce demasiado sobre lenguajes dinámicos o funcionales o meta-programación y paradigmas como la programación declarativa u orientada al lenguaje: Es usted la clase de persona a la cual le costará más llegar a entender LayerD pero por sobre todo llegar a comprender la clase de cosas que es posible programar con esta tecnología. Pero no se impaciente. En primer lugar en LayerD se puede programar en varios lenguajes de alto nivel, y cualquier empresa o persona puede desarrollar su lenguaje de alto nivel para LayerD, esto es comparable a .NET donde se poseen multiples lenguajes y todos generan código intermedio para el mismo runtime - ok JIT compiler jeje. En LayerD todo programa compila a un lenguaje intermedio denominado Zoe, dicho lenguaje posee un compilador modular al cual se le pueden programar "funciones adicionales" y se puede seleccionar la generación e integración con diversos runtimes como una JVM o un .NET runtime o directamente generar código nativo para un sistema operativo y plataforma de hard. Las "funciones adicionales" que se pueden programar en el lenguaje central a LayerD - y por tanto ser compartido por los lenguajes de alto nivel - pueden pensarse como nuevas estructuras semánticas. Por ejemplo, digamos que nuestro lenguaje de alto nivel posee nativamente un ciclo for común, pero no un ciclo for automático para colecciones, en LayerD se puede extender el compilador central para incluir un ciclo for para colecciones. Otro ejemplo, si deseo una instrucción que me permita ejecutar de forma concurrente - en hilos separados - una serie de instrucciones simplemente programo una extensión para el lenguaje Zoe - el lenguaje intermedio común - y utilizo esta nueva funcionalidad en cualquier lenguaje LayerD de alto nivel.
Es difícil decir si estas explicaciones son suficientes, por las dudas enumero algunas de las cosas que nos permite hacer LayerD al programar:

  • Utilizar un sólo lenguaje de alto nivel y hacer programas para diferentes runtimes como JVM, .NET o código nativo.
  • Hacer programas multiplataforma, es decir programas que escribo una vez y compilo para diferentes runtimes. Por ejemplo, un programa que compile nativamente para .NET, Java y código nativo sin ningún cambio en el código fuente.
  • Implementar Lenguajes de Dominio Especifico, como lenguajes para describir interfaces gráficas, lenguajes para describir modelos de entidades con sus relaciones y que implementen automáticamente todo el acceso a datos, lenguajes para chequear reglas de negocios, generar web-services, etc.
  • Hacer análisis de código en tiempo de compilación emitiendo errores, advertencias y notificaciones al programador.
  • Forzar reglas semánticas más estrictas a los programadores de alto nivel mediante una extensión para el compilador. Por ejemplo forzar a cumplir la arquitectura en capas o no utilizar campos públicos.
  • Realizar cualquier proceso de meta-programación durante el proceso de compilación.
  • Crear programas que se corrigen a si mismos durante la compilación y corren en tiempo de ejecución sin penalidades ni errores.
  • Me permite utilizar mis componentes desde diferentes lenguajes de alto nivel con diferentes sintaxis.
  • Permite utilizar una sintaxis para escribir los programas y otras diferentes para leerlos.
  • Permite reutilizar todo el código existente, no se deben volver a escribir librerías!!! se puede usar lo que ya existe en .NET, Java o la plataforma a la cual apuntemos nuestro software.
  • Permite desarrollar "librerías activas", esto es librerías que analizan la forma en la que son usadas en el programa cliente y corrigen su utilización o emiten advertencias y consejos, por que no, librerías que chequean vía Internet la compatibilidad con el programa escrito.
  • Permite desarrollar herramientas RAD de forma independiente al entorno de programación, como herramientas de refactoring o templates de código.
Tal vez, encuentre todo esto como exagerado pero a lo largo de los post en éste blog iré mostrando ejemplos de cada uno de los tópicos y le proporcionare las herramientas básicas para que usted mismo pueda realizarlo.

En estos días sólo tendrá acceso a los binarios de LayerD si es mi amigo :-), si no lo es tendrá que esperar unas semanas, prometo - y siempre trato de cumplir mis promesas - que para fin de mes publicare los binarios que tenga del proyecto LayerD, así en mayo ya podremos empezar con los ejemplos y uds. seguirlos.

No están publicados aún porque se encuentran en desarrollo, sin embargo para su tranquilidad le cuento que ya lo estamos usando en un proyecto de producción real y funcionan lo suficientemente bien como para "dejarse usar". Los fuente se iran liberando en la comunidad open source de a poco, la razón de no liberarlos ahora es muy sencilla, no quiero liberar código que no tenga cierta mínima calidad y nivel de avance en cuanto a la funcionalidad.

De acuerdo a su nivel de conocimiento puede tener mucho que aprender - o no - para explotar LayerD al máximo, sin embargo para empezar a usarlo y beneficiarse de a poco de las técnicas de meta-programación, orientación a aspectos, programación declarativa y custom DSLs no debe aprender nada fundamentalmente nuevo, ya que podrá utilizar todo lo que ya conoce en su plataforma ya sea .NET o Java.

Saludos!
Hola gente!, Mi nombre es Alexis Ferreyra y en éste blog encontraran artículos, noticias e información en general sobre la tecnología LayerD.
Para quienes no conocen LayerD iran dedicadas las primeras entradas, pero básicamente (si se puede resumir el proyecto en pocas palabras) LayerD es un framework que pretende ser compatible con tecnologías populares en la actualidad como Java o .NET al tiempo de incorporar relativamente novedosas técnicas de programación - o más bien olvidadas para muchos programadores - que le cambiaran la vida como programador y revolucionaran al mundo de la informática... ya que estamos exagerando (bien parece una locura esto, lo se). Ok, se que divagaciones así no les dicen nada y sólo parece el discurso barato de un político por lo cual lo explicaré en la siguiente entrada. Mientras tanto si quieren más información (lo cual dudo a partir del ridículo resumen) pueden visitar el sitio web del proyecto layerd.net el cual en estos días debe estar dado de baja por que me olvide pagar la maldita renovación !!!!
Pero espero para cuando lean esto ya este dado de alta nuevamente ;-).