L'assignatura parteix de la premissa que els estudiants coneixen amb certa profunditat alguns llenguatges de programació, principalment imperatius i orientats a objectes. El seu objectiu principal és que aconsegueixin una major perspectiva i puguin raonar en general sobre els llenguatges de programació. Quins elements són comuns als llenguatges de programació? Quin característiques tenen? Quins són els elements essencials i els accessoris? Quines famílies o paradigmes de llenguatges podem identificar? Com dissenyar un bon llenguatge de programació? Dominant aquests continguts serà molt més fàcil aprendre nous llenguatges de programació, identificar els seus aspectes essencials i fins i tot ser capaç de dissenyar llenguatges específics orientats a dominis concrets.

En el curs utilitzarem els llenguatges de programació Scheme i Swift. Scheme és una variant molt estesa de LISP, llenguatge paradigma de la programació funcional. La utilització d'un llenguatge tan senzill ens permet reflexionar sobre quins són els elements essencials dels llenguatges de programació i la seva semàntica. Swift és un modern llenguatge multiparadigma creat reciéntemente per Apple amb aspiracions de suportar múltiples plataformes (dispositius mòbils, sistemes operatius o servidors) i que integra de forma coherent conceptes de programació funcional i programació orientat a objectes i introduint nous paradigmes de programació com la programació orientada a protocols. A diferència de *Scheme, Swift és un llenguatge compilat, segur i fortament tipeado.

Tractarem cinc grans blocs:

• Llenguatges de programació: Conceptes generals comuns al disseny i construcció de llenguatges de programació. Alguns continguts: història i paradigmes de llenguatges de programació, programació declarativa vs. programació procedural, tipus de dades.
• Programació funcional: Estudi en profunditat del paradigma de programació funcional. Alguns continguts: model computacional de substitució, forma especial lambda, recursió, programació funcional en Scheme, abstracció, estructures de dades recursivas com a llestes i arbres.
• Programació imperativa: Estudi de les característiques de la programació imperativa comparada amb la programació funcional. Alguns continguts: model de computació basat en entorns, assignació de variables, estat local.
• Programació orientada a objectes: Repàs dels elements essencials del paradigma de programació orientada a objecte, posant-los en el context del que aporten al paradigma clàssic procedural. Característiques avançades de POO en un llenguatge de recent disseny com Swift. Programació orientada a protocols.
• Integració de paradigmes: Llenguatges que integren el paradigma funcional i l'imperatiu. Per què és interessant integrar-los? Avantatges de la programació funcional per a la concurrència. Swift com un exemple de llenguatge d'integració de paradigmes.