Cosa fa un compilatore, in sintesi

Un compilatore tipico attraversa queste fasi:

Analisi lessicale (lexer) — spezzetta il sorgente in token (42, +, main, ( …)
Analisi sintattica (parser) — verifica che i token formino frasi valide e costruisce un AST (albero sintattico)
Analisi semantica — controlla tipi, variabili dichiarate, scope
Generazione codice — traduce l'AST in assembly o bytecode
Ottimizzazione — (opzionale) riscrive il codice per renderlo più veloce o piccolo

Il linker (ld) entra in gioco dopo: unisce il vostro .o con le librerie di sistema (libc) per produrre l'eseguibile finale. In questo corso ci concentriamo sui punti 1–4.