Un dialecto seguro del lenguaje C ... Adios bugs.....A cuanto de nosotros nos ha perturbado un codigo mal escrito??? , para aquellos que programan, lo dificil que es seguir un dangling pointer (puntero sin asignacion) , encontrar y solucionar overflows??? , incluso para los que no programan (y principalmente a ellos) un codigo mal escrito (definir si un programa esta bien o mal escrito puede ser confuso, aqui me refiero especificamente a errores causante de caidas y vulnerabilidades en los programas) es una pesadilla.
Pues bien, al parecer todo esta por cambiar, la gente de la Cornell University en conjunto con el At&T Research Lab han creado y desarrollan Cyclone , "un dialecto seguro de C", el proyecto esta orientado a la creacion de un lenguaje derivado de C , removiendo los _problemas_ que esto suele traer consigo..
Solo para dar un ejemplo, en Cyclone existen diferentes calificadores para los punteros, y cada uno contiene rasgos muy especificos , que junto con muy poderosos run-time checks mantienen a los punteros funcionando sin problemas (evitan la existencia de punteros NULL cuando necesario, desbordamientos, problemas de fuera de limites entre un sin fin de cosas mas.........). Otra cosa muy interesante es la implementacion de Tuples , muy peculiar y en mi opinion da la impresion de una sintaxis estilo Perl ( $(int,float)x = $(5,4.5); ), algo tambien para tomar en cuenta es su garbage collector , la gente de la Cornell asegura que es uno de los mas avanzado existentes hasta ahora (basado en regiones, manejo de memoria manual) ..........
Bueno, al parecer los tios saben lo que hacen... he estado dando un vistazo en el lenguaje, y al parecer si es un lenguaje que vale la pena tomar en cuenta , aun esta en fase de desarrollo, es un proyecto, hablando en terminos de informatica, reciente (alrededor de unos 5-4 años) , pero que ya cuenta con todo un lenguaje y claro , compilador y librerias muy bien diseñados, y que esta siendo entregado en la pagina de Cornell o AT&T :
http://www.research.att.com/projects/cyclone/
http://www.cs.cornell.edu/projects/cyclone/
bajo varias licensias.
Bueno, espero y se den una pasada por el sitio, y si lo descargan y usan, mejor aun... Adios a los Bugs!!!!!!!!
Luis Araujo