Differenze tra le versioni di "Programmazione funzionale 2012/2013"
(Creazione della pagina) |
m (Aggiunto un riferimento ad altro materiale internet) |
||
Riga 47: | Riga 47: | ||
*[http://http://msdn.microsoft.com/en-us/library/ms123401.aspx MSDN Library] (Microsoft Developer Network). | *[http://http://msdn.microsoft.com/en-us/library/ms123401.aspx MSDN Library] (Microsoft Developer Network). | ||
+ | |||
+ | *Intro to FP: from the [http://www.haskell.org/haskellwiki/Functional_programming Haskell] community. Forum sui linguaggi di programmazione: [http://lambda-the-ultimate.org/ Lambda the ultimate]. | ||
== Diario del corso == | == Diario del corso == |
Versione delle 13:28, 7 mar 2013
News
Prove in itinere
Informazioni generali
Il corso coprirà: ricorsione, strutture dati avanzate, sistemi di tipi, funzioni di ordine superiore, valutazione “eager” e “lazy”, programmazione senza effetti collaterali, ma anche imperativa e altro ancora. Verranno anche presentati i presupposti teorici della programmazione funzionale, in particolare il lambda calcolo e l'inferenza di tipo, al fine di migliorare la comprensione del paradigma. Il corso sarà basato sul linguaggio di programmazione funzionale F#, un moderno linguaggio funzionale creato da Microsoft Research, e membro della famiglia di linguaggi di programmazione .NET.
Docenti
Prof. Camillo Fiorentini / Prof. Alberto Momigliano
Corsi di laurea
Orari e luogo delle lezioni
- Mercoledì - 14:15 : 17:30 Via Comelico, 39/41 AULA Sigma - LABORATORIO
- Giovedì - 14:15 : 17:30 Via Comelico, 39/41 AULA Omega - LABORATORIO
Informazioni specifiche
Siti del corso
Forum del corso, e affini
Testi
Functional Programming using F# , Michael R. Hansen and Hans Rischel, il libro non è ancora disponibile, il professore provvederà a lasciare il draft in fotocopisteria disponibile per chi lo voglia fotocopiare (quale fotocopisteria ed eventuale prezzo verrà inserito appena ci sarà detto).
Altro materiale di riferimento
- Expert F# 2.0: , Don Syme, Adam Granicz, Antonio Cisternino.
- Foundations of F#: Robert Pickering.
Altro materiale in Internet
- Pagina[/http://en.wikibooks.org/wiki/Programming:F_Sharp wiki] sulla programmazione in F#.
- MSDN Library (Microsoft Developer Network).
- Intro to FP: from the Haskell community. Forum sui linguaggi di programmazione: Lambda the ultimate.
Diario del corso
Lezione 1 - 06.03.2013
- Presentazione del corso.
- Perché la programmazione funzionale, perché F#.
- Confronto con la programmazione ad oggetti (java).
- Storia della programmazione funzionale.