John Backus (1924-2007) fu un informatico statunitense e premio Turing 1977. Guidò il team IBM che sviluppò FORTRAN e contribuì alla formalizzazione della sintassi dei linguaggi attraverso la notazione Backus-Naur Form.
La sua importanza sta nel rendere la programmazione meno dipendente dal codice macchina e più vicina al linguaggio del problema scientifico.
FORTRAN
FORTRAN nacque per tradurre formule e calcoli scientifici in istruzioni eseguibili. Il problema ingegneristico era duplice: offrire un linguaggio ad alto livello e produrre codice abbastanza efficiente da convincere chi programmava direttamente in assembler.
Il compilatore diventò così un ponte tra chiarezza umana e prestazione della macchina.
La sfida era culturale oltre che tecnica. Se il codice generato fosse stato troppo lento, gli utenti scientifici avrebbero continuato a scrivere a basso livello. FORTRAN riuscì perché rese credibile l’idea che produttività e prestazione potessero convivere.
Sintassi formale
Con la Backus-Naur Form, la struttura dei linguaggi poté essere descritta in modo rigoroso. Questo contribuì a parser, compilatori e specifiche più precise.
La programmazione non è soltanto scrivere istruzioni: è definire grammatiche che una macchina può riconoscere.
La formalizzazione della sintassi rese i linguaggi oggetti progettuali analizzabili. Da quel momento una specifica poteva essere discussa, implementata e confrontata con maggiore precisione, riducendo ambiguità fra progettisti e implementatori.
Linguaggi Pratici
Backus mostra che un linguaggio di programmazione vale se risolve un attrito reale. Nel suo caso, l’attrito era portare il calcolo scientifico su macchine complesse senza costringere ogni utente a diventare specialista dell’architettura.
Questo cambio di prospettiva rese il programmatore meno dipendente dai dettagli locali della macchina. Il linguaggio ad alto livello diventò una promessa di portabilità concettuale: formule, cicli e array potevano essere espressi nel lessico del problema.
FORTRAN conservò a lungo una posizione forte proprio perché parlava alla comunità scientifica e ingegneristica. Non era elegante in senso astratto, ma era utile, veloce e radicato nei bisogni reali del calcolo numerico.
Eredità
Backus rappresenta il passaggio dal calcolo come manipolazione di macchina al calcolo come linguaggio tecnico.
Nel percorso dell’atlante, la sua voce mostra perché i linguaggi di programmazione sono strumenti ingegneristici, non semplici convenzioni testuali.