Ada (linguaggio di programmazione): differenze tra le versioni

A differenza di molti linguaggi moderni, Ada conserva l'istruzione <code>[[GOTO|goto]]</code>. Pur essendo generalmente deprecata nella [[programmazione strutturata]], è infatti una istruzione utile per la generazione automatica di codice a partire da sorgenti in altri linguaggi o specifiche formalizzate ad alto livello. È inoltre accettabile in alcuni contesti, come il salto verso il termine di un blocco<ref>La label come ultima riga del blocco è valida solo a partire dallo standard Ada 2012, mentre le versioni precedenti richiedevano che il <code>goto</code> fosse seguito da una istruzione (quindi bisognava aggiungere una istruzione nulla al termine del blocco, dopo la label).</ref> (ad esempio un'iterazione di un ciclo) o l'uscita da cicli profondamente annidati,<ref>{{cita|Barnes (2014)|p. 114|barnes14}}.</ref> contesto nel quale è più leggibile rispetto ad analoghe istruzioni <code>break</code> o <code>continue</code> in altri linguaggi in quanto il punto di arrivo del salto nel codice è chiaramente indicato dalla label (mentre il <code>break</code> in linguaggi come il C può essere ''error prone'').<ref>{{cita libro|titolo=Expert C Programming: Deep C Secrets|nome=Peter|cognome=Van der Linden|editore=prentice Hall Professional|anno=1994|ISBN=978-0-131713-7429177429-2|pp=36-38}}</ref>

* {{cita libro|nome=S. Tucker|cognome=Taft|wkautore=S. Tucker Taft|autore2=Robert A. Duff|autore3=Randall L. Brukardt|autore4=Erhard Ploedereder|autore5=Pascal Leroy|autore6=Edmond Schonberg|titolo=Ada 2012 Reference Manual|editore=Springer-Verlag|anno=2014|ISBN=978-3-6424642-541945419-6|url=http://www.adaic.org/resources/add_content/standards/05rm/html/RM-TOC.html|cid=rm}}