Programmazione Funzionale

Avvisi:

Risultati della prova scritta di febbraio.

Verbalizzazioni e visione compiti: giovedì 1 marzo ore 9:00, presso lo studio del docente.

Programma del corso e testi di riferimento

Iscrizione al corso (a.a. 2011-2012): consente di caricare le proprie soluzioni agli esercizi proposti e visionare quelle già discusse a lezione.
Gli studenti che si iscrivono dopo il 24 ottobre devono avvertire il docente dell'avvenuta iscrizione, perché vengano aggiunte le proprie credenziali per l'accesso al sito degli esercizi.

Iscrizione alla mailing list del corso (a.a. 2011-2012): per ricevere comunicazioni inviate dal docente.

Alcuni collegamenti utili:

Il Linguaggio OCaml
Manuale in linea di Objective Caml
XEmacs per Windows (un editor configurabile per OCaml)
Sul sito di XEmacs trovate anche un breve README per l'istallazione.
Camelia: un ambiente di sviluppo per OCaml (Mac e Windows).
Developing Applications With Objective Caml, by Emmanuel Chailloux et al., O'Reilly France.
Un testo avanzato sulla programmazione in OCaml.

E alcuni collegamenti interessanti:

Why OCaml, e altro materiale da Godi, tra cui Link Database: software contributions to the Objective Caml community.
Caml Examples
Resources for Caml users.
Applicazioni di Caml
Applicazioni di ML
Applicazioni della programmazione funzionale