Questo corso intende fornire una conoscenza delle caratteristiche dei vari paradigmi di programmazione, concentrandosi sui principi “universali” che guidano la progettazione, realizzazione e implementazione dei linguaggi, ponendo particolare enfasi nello studio delle relazioni tra tecniche di progetto, semantica ed implementazione dei linguaggi.

Questo corso complementa i corsi base sui linguaggi di programmazione delle lauree triennali in informatica relativi ai paradigmi imperativo e funzionale analizzando i principi operazionali che stanno alla base dei due paradigmi e come questi principi guidino nella implementazione delle relative macchine astratte. In particolare vengono affrontate le principali problematiche, soluzioni e tecniche concernenti il front-end di un compilatore: si presentano gli algoritmi per l’analisi lessicale e sintattica che sono alla base di tool come Lex e Bison (per il linguaggio C) o Alex e Happy (per il linguaggio Haskell). Inoltre si presentano i principali metodi per l’analisi di semantica statica dei programmi, mediante grammatiche di attributi e sistemi di tipi. Infine viene illustrata la generazione del codice intermedio (senza ottimizzazioni).

Il corso ha come scopo ultimo quello di sviluppare uno spirito critico che permetta di arrivare ad una programmazione consapevole in cui saper scegliere il paradigma più adatto a seconda del problema applicativo da risolvere, sapendo quali costrutti di un linguaggio usare, e a quale costo (in termini di risorse impiegate in tutta la pipeline di implementazione).

1.1 Conoscenza e capacità di comprensione

Lo studente conosce i principali concetti della programmazione nei principali paradigmi. Conosce inoltre i principi operazionali che stanno alla base delle implementazioni dei linguaggi. Conosce infine le principali problematiche, soluzioni e tecniche concernenti il front-end di un compilatore.

1.2 Conoscenza e capacità di comprensione applicate

Lo studente impara nuovi linguaggi di programmazione dichiarativi e impara a scrivere codice nei vari paradigmi usando lo stile e le tecniche appropriate. Inoltre impara a conoscere ed usare degli strumenti che tipicamente vengono usati per scrivere un compilatore ma hanno ricadute applicative in moltissimi altri ambiti informatici.

L’attività di progetto permette allo studente di consolidare le conoscenze teoriche presentate attraverso il loro utilizzo in casi reali, promettendogli quindi di sviluppare autonomamente un front-end di un semplice linguaggio imperativo.

2.1 Autonomia di giudizio

Obiettivo del corso è principalmente quello di sviluppare uno spirito critico che permetta di saper scegliere il linguaggio di programmazione più adatto a seconda del problema applicativo da risolvere, sapendo quali costrutti di un linguaggio usare, e a quale costo. Inoltre si intende migliorare la capacità dello studente di identificare le soluzioni più pratiche e semplici nell’implementazione di sistemi software.

2.2 Abilità comunicative

Lo studente impara l’esatto significato dei termini usati nella programmazione e nella implementazione dei linguaggi.

Attraverso l’attività di progetto di gruppo lo studente migliora le proprie capacità comunicative e di interazione.

2.3 Capacità di apprendere

Le conoscenze apprese permettono allo studente muoversi con una certa disinvoltura tra la miriade di linguaggi di programmazione riuscendo a inquadrare velocemente le caratteristiche di nuovo linguaggio, e a impararlo in breve tempo.

Grazie all’interazione con i compagni del gruppo di progetto lo studente impara a valutare il proprio grado di apprendimento mediante il confronto con gli altri.

https://www.uniud.it/it/didattica/info-didattiche/regolamento-didattico-del-corso/LM-informatica/all-B2