Principles of Programming Languages

Synthetic program:

I linguaggi di programmazione costituiscono uno degli strumenti più importanti per la costruzione di un sistema informatico: in un computer moderno si usano solitamente diversi linguaggi per diversi livelli di astrazione. Questo corso presenta gli aspetti salienti nel panorama dei linguaggi di programmazione, analizzando similarità e differenze, approcci e paradigmi sia tradizionali che recenti. Verranno mostrati frammenti importanti di alcuni linguaggi di programmazione significativi, visti come esempi dei paradigmi considerati a lezione. Obiettivo del corso è fornire stumenti per meglio comprendere l'essenza dei concetti definitori dei linguaggi di programmazione, questo per permettere una scelta critica sul livello di astrazione e conseguentemente sul linguaggio necessario per implementare un determinato sistema; per mantenere una buona flessibilità mentale di fronte ad un aspetto, quello appunto del linguaggio, che è in continua mutazione nell'ambito dell'informatica e dell'ingegneria del software; per fornire basi utili alla progettazione di costrutti linguistici, fino ad arrivare ad un linguaggio completo (per es. Domain Specific Language).