Ada (informática): Diferenzas entre revisións
Contido eliminado Contido engadido
Recuperando 1 fontes e etiquetando 0 como mortas. #IABot (v2.0beta10ehf1) |
de un > dun |
||
Liña 15:
'''Tipado forte''': Ada caracterízase, entre outras cousas, por ser unha linguaxe fortemente tipada, con comprobacións en tempo de execución, procesamento paralelo, manexo de excepcións, e [[programación xenérica|xenéricos]]. Ao ter un tipado forte, permite que o Ada soporte un gran número de comprobacións en [[tempo de compilación]], o que axuda a evitar erros que non serían detectados ata a execución utilizando outra [[linguaxe informática|linguaxe de programación]], ou que requirirían engadir no [[código fonte]] comprobacións explícitas.
'''Xestión de excepcións''': Unha característica principail da linguaxe Ada é a comprobación do corrector en execución ("runtime"): Ada soporta (inclúe implicitamente) comprobacións en [[tempo de execución]] con obxecto de protexerse ante asignacions de valores fóra de rango, accesos a direccións de memoria non asignada, erros de [[desbordamento de buffer]], [[erros de un paso|erros dun paso]], e outros erros evitables. Estes chequeos son fundamentais para acadar unha alta esixencia de fiabilidade (reliability & safety). Estas comprobacións poden ser deshabilitadas para obter unha maior eficiencia. Tamén inclúe facilidades que axudan á verificación de [[programas informáticos|programas]]. Por esas razóns, é amplamente utilizado en sistemas críticos como en [[aviación]], [[armamento]] e [[naves espaciais]].
== Historia ==
| |||