Università degli Studi di Urbino
Carlo Bo
Facoltà di Scienze e Tecnologie
Corso di Laurea in
INFORMATICA APPLICATA
(in presenza e on-line)
 
Linguaggi di Programmazione e
Compilatori

Materiale: di seguito le slides in pdf usate a lezione ed il manuale introduttivo ad Haskell (il materiale è disponibile solo in lingua inglese).

Grammatiche: grammatica di un linguaggio procedurale (aldini 1.0) e grammatica di un linguaggio funzionale (aldini 2.0 con relativa item-set list).
Haskell: interpretazione di abstract syntax trees per espressioni e istruzioni.
Haskell: alcuni esercizi recenti. Altri esempi: generators/reachable example - FIRST example - IO example.

Esame:

  1. Prova scritta. Include un esercizio sulle sezioni 01-04 ed un esercizio sulle sezioni 05-08. Appunti e materiale sono consultabili.
  2. Prova al terminale di programmazione in Haskell. Si svolge in laboratorio (di seguito alla prova scritta) nella home del proprio account sti. Si consiglia di verificare per tempo il funzionamento dell'account (istruzioni su come gestire un eventuale blocco per superamento quota).
  3. Prova orale. È facoltativa se il voto ottenuto sommando gli esiti delle prove precedenti, che rimane valido per la singola sessione, è almeno 18, obbligatoria se compreso tra 15 e 17, non accessibile per voti inferiori.

Compiti: