La previsión es que cada 10 años se publique una revisión del estándar ISO del lenguaje Ada. En 1983 apareció la primera versión auspiciada por el ministerio de defensa de EE. UU. Doce años más tarde apareció la revisión conocida como Ada 95 que produjo muchas novedades, entre otras una implementación completa de la orientación a objetos.
Ya han pasado 10 años y un grupo de trabajo de la ISO está preparando la siguiente revisión del lenguaje. La profundidad de la revisión será más modesta que la anterior y de hecho está considerada técnicamente como una enmienda, no una revisión.
Para el diseño de los cambios se partió de las siguientes premisas:
- Los cambios han de mantener o mejorar las ventajas actuales de Ada, especialmente en los dominios en los que goza de una mayor implantación que son los que necesitan seguridad y criticidad. Se espera que se mejoren aspectos de tiempo real y de sistemas de alta integridad.
- Los cambios han de resolver ciertos problemas detectados en el uso de Ada 95.
El estándar está siendo definido por un grupo de expertos de
ISO,
ACM SigAda y
Ada-Europe.
La publicación del estándar por parte de la ISO está previsto para principios del año 2006. Es por eso que en algún momento los miembros del grupo dudaron si comenzar a llamar a la nueva versión Ada 2006, pero finalmente acordaron promover el nombre Ada 2005. Y decimos promover porque al fin y al cabo Ada 2005 no es un nombre oficial, el nombre oficial continúa siendo simplemente
Ada programming language, ISO/IEC 8652:2005(E).
Cambios en el modelo OO
Interfaces al estilo Java
La principal novedad en el modelo de Orientación a Objetos es la incorporación de interfaces al estilo de Java. Es de notar que Ada 95 no admitía herencia múltiple por sus problemas asociados. En Java se resolvió el problema de una manera elegante con la distinción de la herencia de clases de la herencia de interfaces para los que sólo se definen y se heredan los métodos, pero no la implementación.
Este cambio, a parte de mejorar la herencia en Ada, permitirá mejorar la interoperabilidad de Ada con Java, C# y otros lenguajes con interfaces.
Notación Objeto.Método
Una de las principales diferencias entre Ada 95 y otros lenguajes orientados a objetos más populares es la llamada a métodos de un objeto.
En Java y C++:
Objeto.Método (Parámetros);
En Ada 95 (sin cláusula use):
Paquete.Método (Objeto, resto de parámetros);
La notación de Ada 95 tiene la única ventaja de que la parte imperativa y la parte orientada a objetos son más ortogonales entre sí. Sin embargo es un aspecto que le aleja de otros lenguajes orientados a objetos en cuanto a su sintaxis.
Para Ada 2005 se ha decidido adoptar la notación Objeto.Método que resultará más familiar para programadores que vengan de otros lenguajes.
Este cambio sólo afecta a los tagged types (
clases en Ada 95) y a la notación de llamada, el resto continúa como en Ada 95. La llamada convencional se sigue admintiendo.
Explicitar cuándo se redefine un método
Se ha añadido la posibilidad de definir un método como
overriding o
not overriding. Esto proporciona un nivel de seguridad contra futuros cambios en una clase base como eliminar un método que ha sido redefinido por alguna clase derivada. También prevendrá el problema de querer redefinir un método y por escribirlo mal, se cree un nuevo método en vez de redefinirlo. Este descuido nos puede hacer perder horas hasta encontrar que no se llama el método de la clase derivada en vez de la clase base porque hemos puesto Annadir en vez de Anyadir. Además el explicitarlo servirá como documentación para comprender la derivación de clases.
Cambios en los tipos puntero
Los punteros en Ada 95 sólo podían ser de un tipo anónimo en los parámetros de subprogramas. Es decir, esta definición era ilegal:
type A
is x;
type A_Access
is access A;
type B
is
record
Campo_Puntero :
access A;
-- NO, era obligatorio A_Access
end record;
Ahora se admite un puntero de tipo anónimo en casi cualquier sitio donde se admite un tipo. Esto eliminará la proliferación de tipos puntero nombrados y las consiguientes conversiones de tipo entre ellos.
También es posible definir un tipo de puntero que apunta a constante y si el tipo admite el valor null o no.
type A
is x;
type B
is access constant A;
type C
is access not null A;
Dependencia mutua de tipos definidos en paquetes distintos
Se amplia el concepto de tipos incompletos para poder hacer tipos interdependientes definidos en paquetes distintos. Para ello se introduce la sentencia
limited with que sólo nos permite hacer uso de los nombres de los tipos del otro paquete.
Visibilidad en la parte privada
Ahora es posible hacer visible un paquete únicamente en la parte privada de una especificación. Esto permitirá usar paquetes hijos privados en la parte privada de un paquete dentro de la misma jerarquía.
private package Wikilibros.Privado
is
...
end Wikilibros.Privado;
private with Wikilibros.Privado;
package Wikilibros.Ejemplos
is
...
-- Aquí no es visible Wikilibros.Privado
private
-- Aquí podemos hacer uso de Wikilibros.Privado
type Mi_Ejemplo
is new Wikilibros.Privado.Mi_Tipo;
end Wikilibros.Ejemplos;
Inicializaciones por defecto
En un agregado será posible decir que cierto componente de un registro se rellena con el valor por defecto definido en su declaración.
Sintaxis especial para elevar excepciones con mensaje
Se ha simplificado la sintaxis para elevar una excepcion con mensaje, y se ha hecho semejante a levantarla sin mensaje:
Ada 95
raise Problema_Interno;
-- Sin mensaje asociado
Ada.Exceptions.Raise_Exception
(Problema_Interno'Identity, "No más identificadores libres");
-- Con mensaje asociado
Ada 2005
raise Problema_Interno;
-- Sin mensaje asociado
raise Problema_Interno
with "No más identificadores libres";
-- Con mensaje asociado
Nuevos pragmas y atributos
Aparecen nuevos pragmas y otros que ya existían en algunas implementaciones como GNAT se estandarizan:
Unsuppress Para desactivar el efecto del pragma Suppress. Assert Para realizar chequeos y asignarles un tratamiento común por configuración. Preelaborable_Initialization Para indicar que la inicialización de un tipo es preelaborable. No_Return Para indicar que un procedimiento no devuelve el control de modo normal. Unchecked_Union Para importar uniones del lenguaje C.
Aparece el atributo Mod que da el módulo de un
entero sin signo.
Ampliación de la biblioteca predefinida
Se incluye una biblioteca completa de contenedores al estilo de la STL de C++. Se ha estandarizado un paquete de manejo de directorios y otro de variables de entorno. Aunque estos paquetes los proveían todos los fabricantes de compiladores, la estandarización mejorará la portabilidad de programas Ada entre distintos compiladores.
Así mismo se estandarizan operaciones con vectores y matrices, más operaciones sobre tiempos y fechas y algunos algoritmos de algebra lineal.
Nuevo tipo de caracteres
Aparte del tipo Character (8 bits) y Wide_Character (16 bits) de Ada 95 se añade un tercer tipo Wide_Wide_Character (32 bits) con soporte completo de Unicode.
Además los compiladores deben admitir código fuente codificado en Unicode 4.0, y los identificadores pueden contener letras en cualquier sistema alfabético.
Mejoras en tiempo real y concurrencia
Se ha incluido en el estándar el
perfil de Ravenscar. Se han añadido paquetes predefinidos para controlar relojes de tiempo de ejecución.
Se pueden definir interfaces que han de implementar tareas u objetos protegidos. Esta posibilidad traza un puente entre las capacidades de concurrencia y de orientación a objetos del lenguaje.
Enlaces externos
Todo el siguiente material está en inglés:
Publicaciones y ponencias
Ada 2005 Rationale
El
Rationale de Ada 2005 describe y justifica los cambios realizados al lenguaje. Está siendo escrito por
John Barnes, estos son los capítulos ya publicados:
Requisitos de Ada 2005
Manual de referencia de Ada
Ada 2005
