Manuale completo di ADA

Il manuale italiano più completo sul linguaggio Ada, aggiornato allo standard Ada 2022.
Ada è il linguaggio con cui si scrivono i sistemi di cui ci si deve fidare: avionica, ferrovie, spazio, dispositivi medicali. È anche uno dei linguaggi più formativi che esistano, perché insegna a progettare prima di scrivere e trasforma il compilatore nel vostro più severo - e prezioso - alleato. Questo manuale vi accompagna dai fondamenti fino alla programmazione concorrente e ai contratti, con un percorso graduale interamente in italiano.
Un percorso in quattro parti

• Fondamenti: l'ambiente GNAT, i tipi forti, le strutture di controllo, i sottoprogrammi.
• Strutturazione: array e record, pacchetti e visibilità, tipi accesso, stringhe e file.
• Astrazione: tipi privati, programmazione a oggetti, generici, eccezioni.
• Verso la programmazione professionale: tasking e oggetti protetti, contratti (precondizioni, postcondizioni, invarianti, predicati) e un progetto conclusivo completo: la cassa di un negozio con l'aritmetica decimale esatta dei gestionali.

Che cosa rende diverso questo manuale

• Ogni esempio è stato compilato ed eseguito con GNAT e lo standard Ada 2022 (-gnat2022 -gnatwa): niente codice di carta, solo programmi che funzionano davvero.
• 128 esercizi: 48 svolti e commentati nel testo, 80 proposti con tutte le soluzioni verificate nell'appendice finale.
• La sezione Con l'IA in ogni capitolo: prompt pronti per usare gli assistenti artificiali come compagni di studio, e la sottosezione I limiti che vi insegna quando non fidarvi delle loro risposte.
• Box operativi (Nota, Attenzione, Suggerimento) che condensano l'esperienza sul campo: gli errori tipici, le convenzioni della comunità, le scelte professionali.
• Sei appendici di consultazione: riferimento rapido della sintassi, pragma e aspetti, libreria standard essenziale, glossario, risorse per proseguire e il soluzionario completo.

Le novità di Ada 2022 spiegate sul campo
Il simbolo @ per gli accumulatori, gli aggregati tra parentesi quadre, l'attributo 'Image esteso, le espressioni quantificate nei contratti: le novità dello standard non sono confinate in un capitolo-vetrina, ma integrate dove servono, con la segnalazione delle differenze rispetto alle versioni precedenti.
A chi si rivolge
A chi programma già in un altro linguaggio e vuole scoprire perché Ada resta insuperato dove l'affidabilità non è negoziabile; a studenti e docenti che cercano un testo rigoroso e graduale in italiano; a chi lavora (o vuole lavorare) nei settori safety-critical; a chiunque voglia imparare, una volta per tutte, a far lavorare il compilatore al posto proprio.
Al termine del percorso saprete progettare pacchetti con interfacce pulite, costruire astrazioni con tipi privati e contratti verificabili, scrivere programmi concorrenti senza corse critiche e leggere lo standard senza timore. E avrete costruito, riga per riga, un progetto completo di cui capirete ogni singola decisione.
Un libro pensato per durare
La struttura a doppio uso - percorso graduale da leggere in ordine e riferimento da tenere sulla scrivania - fa sì che il manuale non si esaurisca alla prima lettura: le appendici e il soluzionario lo trasformano in uno strumento di consultazione quotidiana, dal primo Put_Line fino al codice che finirà in produzione.
Aprite il manuale, accendete GNAT: il vostro primo alleato vi aspetta.