Programmazione Funzionale
Professore:
Marta Cialdea Mayer
Email: cialdea@dia.uniroma3.it
- Espressioni e tipi semplici
- Variabili e ambienti
- Definizione di funzioni
- Ricorsione
- Tuple, Liste
- Polimorfismo
- Patterns
- Ambienti locali
- Strategie di valutazione
- Funzioni di ordine superiore
- Definizione di nuovi tipi
- Alberi binari
- Alberi n-ari
- Rappresentazione di grafi mediante lista degli archi
- La tecnica del backtracking
- Moduli e compilazione separata
- Generatori di parser: ocamllex e ocamlyacc