WikiDsy - Contributi utente [it]

Programmazione funzionale 2012/2013

2013-03-13T20:28:23Z

Sera342: /* Diario del corso */

[[Categoria:Corsi 2012-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. '''[http://homes.di.unimi.it/~fiorentini/ Camillo Fiorentini]''' / Prof. '''[http://homes.di.unimi.it/~momigliano/ Alberto Momigliano]'''

=== Corsi di laurea ===

*[[:Categoria:Corsi Informatica|Informatica]]

=== Orari e luogo delle lezioni ===

* Mercoledì - 14:15 : 17:00 Via Comelico, 39/41 LABORATORIO Sigma
* Giovedì - 14:15 : 17:00 Via Comelico, 39/41 LABORATORIO Tau

== Informazioni specifiche ==

=== Siti del corso ===

*[http://cooml.dsi.unimi.it/fp/ Sito del corso]

=== Forum del corso, e affini ===

* [http://www.dsy.it/forum/forumdisplay.php?s=c2baf9868dc697aeef71c0e8f5388f03&forumid=490 Dsy.it]

=== Testi ===

'''Functional Programming using F# , Michael R. Hansen and Hans Rischel''', il libro non è ancora disponibile, il professore ha lasciato il draft del libro da fotocopiare per chi vuole alla '''fotocopisteria in Viale Umbria, 56''', per raggiungerla basta arrivare in fondo a via Comelico, attraversare la strada, e li di fianco al bar si trova il negozio.

=== Altro materiale di riferimento ===

*''[http://www.apress.com/9781430224310 Expert F# 2.0]: , Don Syme, Adam Granicz, Antonio Cisternino.''
*''[http://http://www.apress.com/9781590597576 Foundations of F#]: Robert Pickering.''

=== Altro materiale in Internet ===

*[http://tryfsharporg.cloudapp.net/Resources/Teaching.aspx Insegnare F#]

*Pagina[/http://en.wikibooks.org/wiki/Programming:F_Sharp wiki] sulla programmazione in F#.

*[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 ==

=== 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.

=== Lezione 2 - 07.03.2013 ===

* Presentazione degli strumenti di visual studio per interagire con F#
** Scrittura di programmi sull'interprete e su file, passaggio da file all'interprete
* Presentazione della sintassi generale del linguaggio, comando "let"
* Funzioni in F#, differenti dalle funzioni tipiche degli altri linguaggi
* Tipi di dati, int, float, string, tuple
* Esercizi vari sulle basi del linguaggio
* Sul [http://cooml.dsi.unimi.it/fp/Lez02/esercizio.txt sito] è presente un esercizio che comprende un po' tutto, è stato svolto in classe.
http://cooml.dsi.unimi.it/fp/Lez03/ric.txt

=== Lezione 3 - 13.03.2013 ===

* Concetto di binding (dare ad un variabile un valore)
* Concetto di enviroment, ambiente di valutazione
* Differenza tra light syntax e verbose syntax, [http://cooml.dsi.unimi.it/fp/Lez03/esempi.fs esempi esemplificativi]
* Definizione di funzioni ricorsive, [http://cooml.dsi.unimi.it/fp/Lez03/ric.txt esercizi], [http://cooml.dsi.unimi.it/fp/Lez03/ric1.fs alcune soluzioni]

Programmazione funzionale 2012/2013

2013-03-07T19:27:28Z

Sera342: /* Lezione 1 - 06.03.2013 */

Programmazione funzionale 2012/2013

2013-03-07T14:55:25Z

Sera342: Aggiornato come trovare il libro

Programmazione funzionale 2012/2013

2013-03-07T13:32:20Z

Sera342:

[[Categoria:Corsi 2012-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. '''[http://homes.di.unimi.it/~fiorentini/ Camillo Fiorentini]''' / Prof. '''[http://homes.di.unimi.it/~momigliano/ Alberto Momigliano]'''

=== Corsi di laurea ===

*[[:Categoria:Corsi Informatica|Informatica]]

=== Orari e luogo delle lezioni ===

* Mercoledì - 14:15 : 17:00 Via Comelico, 39/41 LABORATORIO Sigma
* Giovedì - 14:15 : 17:00 Via Comelico, 39/41 LABORATORIO Tau

== Informazioni specifiche ==

=== Siti del corso ===

*[http://cooml.dsi.unimi.it/fp/ Sito del corso]

=== Forum del corso, e affini ===

* [http://www.dsy.it/forum/forumdisplay.php?s=c2baf9868dc697aeef71c0e8f5388f03&forumid=490 Dsy.it]

=== 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 ===

*''[http://www.apress.com/9781430224310 Expert F# 2.0]: , Don Syme, Adam Granicz, Antonio Cisternino.''
*''[http://http://www.apress.com/9781590597576 Foundations of F#]: Robert Pickering.''

=== Altro materiale in Internet ===

*[http://tryfsharporg.cloudapp.net/Resources/Teaching.aspx Insegnare F#]

*Pagina[/http://en.wikibooks.org/wiki/Programming:F_Sharp wiki] sulla programmazione in F#.

*[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 ==

=== 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.

Programmazione funzionale 2012/2013

2013-03-07T13:31:48Z

Sera342: Modificato aula delle lezioni del giovedì

[[Categoria:Corsi 2012-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. '''[http://homes.di.unimi.it/~fiorentini/ Camillo Fiorentini]''' / Prof. '''[http://homes.di.unimi.it/~momigliano/ Alberto Momigliano]'''

=== Corsi di laurea ===

*[[:Categoria:Corsi Informatica|Informatica]]

=== Orari e luogo delle lezioni ===

* Mercoledì - 14:15 : 17:00 Via Comelico, 39/41 AULA Sigma - LABORATORIO
* Giovedì - 14:15 : 17:00 Via Comelico, 39/41 AULA Tau - LABORATORIO

== Informazioni specifiche ==

=== Siti del corso ===

*[http://cooml.dsi.unimi.it/fp/ Sito del corso]

=== Forum del corso, e affini ===

* [http://www.dsy.it/forum/forumdisplay.php?s=c2baf9868dc697aeef71c0e8f5388f03&forumid=490 Dsy.it]

=== 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 ===

*''[http://www.apress.com/9781430224310 Expert F# 2.0]: , Don Syme, Adam Granicz, Antonio Cisternino.''
*''[http://http://www.apress.com/9781590597576 Foundations of F#]: Robert Pickering.''

=== Altro materiale in Internet ===

*[http://tryfsharporg.cloudapp.net/Resources/Teaching.aspx Insegnare F#]

*Pagina[/http://en.wikibooks.org/wiki/Programming:F_Sharp wiki] sulla programmazione in F#.

*[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 ==

=== 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.

Programmazione funzionale 2012/2013

2013-03-07T13:31:15Z

Sera342: Modificato orario delle lezioni

[[Categoria:Corsi 2012-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. '''[http://homes.di.unimi.it/~fiorentini/ Camillo Fiorentini]''' / Prof. '''[http://homes.di.unimi.it/~momigliano/ Alberto Momigliano]'''

=== Corsi di laurea ===

*[[:Categoria:Corsi Informatica|Informatica]]

=== Orari e luogo delle lezioni ===

* Mercoledì - 14:15 : 17:00 Via Comelico, 39/41 AULA Sigma - LABORATORIO
* Giovedì - 14:15 : 17:00 Via Comelico, 39/41 AULA Omega - LABORATORIO

== Informazioni specifiche ==

=== Siti del corso ===

*[http://cooml.dsi.unimi.it/fp/ Sito del corso]

=== Forum del corso, e affini ===

* [http://www.dsy.it/forum/forumdisplay.php?s=c2baf9868dc697aeef71c0e8f5388f03&forumid=490 Dsy.it]

=== 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 ===

*''[http://www.apress.com/9781430224310 Expert F# 2.0]: , Don Syme, Adam Granicz, Antonio Cisternino.''
*''[http://http://www.apress.com/9781590597576 Foundations of F#]: Robert Pickering.''

=== Altro materiale in Internet ===

*[http://tryfsharporg.cloudapp.net/Resources/Teaching.aspx Insegnare F#]

*Pagina[/http://en.wikibooks.org/wiki/Programming:F_Sharp wiki] sulla programmazione in F#.

*[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 ==

=== 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.

Programmazione funzionale 2012/2013

2013-03-07T13:27:50Z

Sera342: Aggiunto un riferimento ad altro materiale internet

[[Categoria:Corsi 2012-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. '''[http://homes.di.unimi.it/~fiorentini/ Camillo Fiorentini]''' / Prof. '''[http://homes.di.unimi.it/~momigliano/ Alberto Momigliano]'''

=== Corsi di laurea ===

*[[:Categoria:Corsi Informatica|Informatica]]

=== 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 ===

*[http://cooml.dsi.unimi.it/fp/ Sito del corso]

=== Forum del corso, e affini ===

* [http://www.dsy.it/forum/forumdisplay.php?s=c2baf9868dc697aeef71c0e8f5388f03&forumid=490 Dsy.it]

=== 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 ===

*''[http://www.apress.com/9781430224310 Expert F# 2.0]: , Don Syme, Adam Granicz, Antonio Cisternino.''
*''[http://http://www.apress.com/9781590597576 Foundations of F#]: Robert Pickering.''

=== Altro materiale in Internet ===

*[http://tryfsharporg.cloudapp.net/Resources/Teaching.aspx Insegnare F#]

*Pagina[/http://en.wikibooks.org/wiki/Programming:F_Sharp wiki] sulla programmazione in F#.

*[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 ==

=== 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.

Template:Corsi/P

2013-03-07T12:17:20Z

Sera342: Aggiunta pagina di riferimento al corso di programmazione funzionale

=== lettera P ===
*[[Pedagogia della musica]]
*[[Prestazioni e tuning di basi di dati]]
*[[Principi di progettazione dei prodotti editoriali digitali]]
*[[Progettazione e gestione del software]]
*[[Progetto della sicurezza di rete]]
*[[Progetto di business nella moderna economia]]
*[[Programmazione]] (anche ''Programmazione - laboratorio di Programmazione'')
*[[Programmazione avanzata]]
*[[Programmazione e architetture DSP]]
*[[Programmazione funzionale]]
*[[Programmazione grafica]] (anche ''Programmazione grafica con laboratorio'')
*[[Programmazione per la musica]]
*[[Psicofisiologia della percezione musicale]]

Programmazione funzionale

2013-03-07T12:16:36Z

Sera342: Creazione della pagina

{{introduzione}}
== Turni ==

*'''[[Programmazione funzionale 2012/2013]]

== Anni passati ==
*'''[[Programmazione funzionale 2011/2012]]

== 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.

=== Crediti Formativi ===

6 Cfu

== Modalità di Esame ==
Compitino in modalità take home, cioè vengono dati degli esercizi di programmazione da portare a casa svolgere e riconsegnare la settimana dopo.
Progetto finale.

=== Giudizio sul corso ===
{{Giudizio}}
{{Giudizio/Interesse}}
{{Giudizio/Difficoltà}}
{{Giudizio/Ore}}

[[Categoria:Corsi]][[Categoria:Corsi Informatica]][[Categoria:Corsi Secondo Semestre]]

Programmazione funzionale 2012/2013

2013-03-07T12:15:40Z

Sera342: Creazione della pagina