Ciao, e benvenuto nella prima puntata della sessantottesima stagione di questo podcast. Nella stagione scorsa, quella sui compilatori, abbiamo detto una cosa che oggi torna a bussare. Il compilatore, dicevamo, è un traduttore fedele: può stravolgere la forma del tuo codice, purché ne preservi il significato. E lì abbiamo lasciato in sospeso una domanda enorme, quasi filosofica: ma cos'è, esattamente, il significato di un programma? Questa stagione è la risposta a quella domanda.
Partiamo da un gesto che fai ogni giorno, forse senza accorgertene. Apri un pezzo di codice scritto da qualcuno, magari da te sei mesi fa. Lo leggi. E dopo qualche secondo dici: ok, questo prende una lista, la scorre, e somma i numeri pari. Non l'hai eseguito. Non hai premuto nessun tasto. Eppure sai cosa fa. Come hai fatto? Hai eseguito quel codice nella tua testa: hai immaginato una lista, l'hai scorsa mentalmente, hai tenuto il conto della somma. Sei stato tu, la macchina. E lo hai fatto quasi senza fatica, come una cosa naturale.
Vediamo cosa vuol dire davvero questo, perché è più profondo di quanto sembri. Quando capisci un programma, non stai leggendo un testo come si legge una poesia, cogliendone l'atmosfera. Stai facendo qualcosa di preciso: stai simulando la sua esecuzione. Tieni in mente uno stato, cioè i valori delle cose in quel momento, e lo aggiorni passo dopo passo seguendo delle regole. Le regole di quel linguaggio. Il significato del programma, per te, è proprio questo film che scorre nella tua mente: la sequenza dei passi che porta dall'inizio alla fine.
Ecco l'idea che dà il nome alla stagione. Esiste una disciplina che fa esattamente questo, ma in modo rigoroso: definire il significato di un programma descrivendo come viene eseguito, passo per passo. Si chiama semantica operazionale. Semantica, perché studia il significato. Operazionale, perché quel significato lo definisce attraverso le operazioni dell'esecuzione, non con parole vaghe. In una frase: il significato di un programma è come si esegue. Non c'è un senso nascosto altrove, da interpretare. Il senso è il suo funzionamento. Per sapere cosa vuol dire, lo devi mettere in moto, anche solo nella mente.
C'è un'immagine che rende questa idea limpida: pensa a uno spartito musicale. Uno spartito, in sé, è solo un foglio pieno di segni. Cosa significa? Non lo scopri fissando i pallini e le stanghette. Lo significa la musica che ne esce quando qualcuno lo esegue, seguendo le regole della notazione. Il significato dello spartito è la sua esecuzione. Un programma è lo stesso: un testo pieno di segni il cui senso non sta nei segni, ma in cosa succede quando lo si suona, passo dopo passo, secondo le regole del linguaggio.
Nota perché questo è tutt'altro che un capriccio accademico. Questo modo di pensare è alla radice di come si definisce un linguaggio senza ambiguità, di come funziona ogni interprete, di come si può dimostrare che un programma è corretto, e persino di dove nascono quei comportamenti strani e imprevedibili di cui parlavamo la scorsa stagione. Ma soprattutto è alla radice di una cosa più intima: la tua capacità di guardare un codice e sapere cosa fa. Quella non è magia, non è puro intuito. È semantica operazionale che hai imparato senza chiamarla così, un passo alla volta, in anni di codice letto ed eseguito con gli occhi.
E qui sta la tesi di sempre di questo podcast. La magia è quel colpo d'occhio: leggo il codice e vedo cosa fa, come se lo sapessi e basta, per esperienza. La macchina sotto è che quel colpo d'occhio è l'applicazione, velocissima e automatica, di regole precise di esecuzione. Regole che si possono scrivere, rendere esplicite, studiare. Più le conosci con chiarezza, meno il tuo intuito è un dono misterioso, e più diventa uno strumento affilato che puoi controllare, correggere e affinare.
Voglio dirti come sarà la stagione, così sai dove andiamo. Non ci serviranno formule intimidatorie: ci serviranno buone immagini. Vedremo com'è fatto un istante di esecuzione, cosa è un passo, quali sono le regole del gioco, cosa succede quando un programma si inceppa, e a cosa serve tutto questo nel tuo lavoro vero. Alla fine, spero, guarderai il tuo stesso modo di leggere il codice con occhi nuovi, e ti accorgerai che quella cosa che chiamavi esperienza ha una forma, un'ossatura, un nome. E che averle dato un nome la rende, finalmente, qualcosa che puoi insegnare e migliorare.
Per oggi ci fermiamo qui. Abbiamo aperto la stagione sulla semantica operazionale, cioè sul significato di un programma. La stagione scorsa avevamo detto che il compilatore preserva il significato: oggi abbiamo chiesto cos'è. E la risposta è che il significato di un programma è come si esegue, passo dopo passo. Lo sai già, perché lo fai a mente ogni volta che leggi del codice e capisci cosa fa: sei tu la macchina che lo esegue. Come uno spartito, che significa la musica che ne esce. La magia è il colpo d'occhio; la macchina sotto sono regole precise che si possono rendere esplicite. Nella prossima puntata: stato e passo. Nelle note trovi qualche spunto. Se ti è utile, condividila. Grazie per l'ascolto, e ci sentiamo alla prossima.