Diferencia entre revisiones de «Programación en Ada/Tipos etiquetados»

Contenido eliminado Contenido añadido
Eliminando plantilla endesarrollo
mSin resumen de edición
 
Línea 8:
Ada 83 fue diseñado para dar soporte a desarrollos de sistemas empotrados, de tiempo real y misión crítica. Para este tipo de trabajos, las características de Ada, como el tipado fuerte y la división en paquetes, permitían el uso de una serie de metodologías de desarrollo, con un razonable grado de comodidad. Sin embargo, en los años 90, el advenimiento de la programación orientada a objectos, hizo necesario que Ada se extendiera para dar cabida a esta nueva metodología. Esto debido, a que la programación orientada a objeto necesitaba de un soporte en el manejo de tipos y en la visibilidad de los métodos, que Ada 83 hubiera considerado como no permitido.
 
Los cambios necesarios, fueron incorporados al nuevosiguiente estándar: Ada95Ada 95.
 
Básicamente, los cambios se centraron alrededor del uso de los '''tipos etiquetados''', una construcción software que añade flexibilidad al tipado fuerte, justo en grado necesario para permitir representar en Ada un '''diagrama de objectos''', por ejemplo, en UML.
Línea 14:
Los '''tipos etiquetados''' de Ada 95 son los que permiten realizar el [[w:Polimorfismo en programación orientada a objetos|polimorfismo]]. A menudo se asimila la combinación de un tipo etiquetado y el paquete que lo contiene a una clase en otros lenguajes de programación también orientados a objetos. Sin embargo hay algunas diferencias de sintaxis, que no de filosofía general, que veremos en este apartado.
 
Un tipo etiquetado puede ser un registro de modo que su estructura es pública, o puede ser un {{Ada:|Tipos privadosabstractos de datos|tipo privado|}}, aunque en la parte privada siempre se termina definiendo como un registro.
 
{{Ada/Reservada|type}} T_Base {{Ada/Reservada|is}} {{Ada/Reservada|tagged}}