I favolosi anni ’60: LISP e ALGOL’60
risultati teorici a monte
- formalizzazione degli aspetti sintattici
- primi risultati semantici basati sul l-calcolo
caratteristiche comuni
- introduzione dell’ambiente
- vera astrazione procedurale con ricorsione
- argomenti procedurali e per nome
ALGOL’60
- primo linguaggio imperativo veramente ad alto livello
- scoping statico
- gestione dinamica della memoria a stack
LISP (sempreverde, ancora oggi il linguaggio dell’A.I.)
- primo linguaggio funzionale, direttamente ispirato al l-calcolo
- scoping dinamico
- strutture dati dinamiche, gestione dinamica della memoria a heap con garbage collector