https://wiki.dsy.it/index.php?action=history&feed=atom&title=Programmazione_funzionale_2012%2F2013 2026-05-09T10:50:07Z Cronologia della pagina su questo sito MediaWiki 1.31.16 https://wiki.dsy.it/index.php?title=Programmazione_funzionale_2012/2013&diff=21304&oldid=prev 2013-03-13T20:28:23Z

<p>‎<span dir="auto"><span class="autocomment">Diario del corso</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="it"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Versione meno recente</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Versione delle 20:28, 13 mar 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l68" >Riga 68:</td> <td colspan="2" class="diff-lineno">Riga 68:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Esercizi vari sulle basi del linguaggio</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Esercizi vari sulle basi del linguaggio</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Sul [http://cooml.dsi.unimi.it/fp/Lez02/esercizio.txt sito] è presente un esercizio che comprende un po' tutto, è stato svolto in classe.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Sul [http://cooml.dsi.unimi.it/fp/Lez02/esercizio.txt sito] è presente un esercizio che comprende un po' tutto, è stato svolto in classe.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">http://cooml.dsi.unimi.it/fp/Lez03/ric.txt</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">=== Lezione 3 - 13.03.2013 ===</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Concetto di binding (dare ad un variabile un valore)</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Concetto di enviroment, ambiente di valutazione</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Differenza tra light syntax e verbose syntax, [http://cooml.dsi.unimi.it/fp/Lez03/esempi.fs esempi esemplificativi]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* 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]</ins></div></td></tr> <!-- diff cache key mediawiki:diff::1.12:old-21303:rev-21304 --> </table>

Sera342 https://wiki.dsy.it/index.php?title=Programmazione_funzionale_2012/2013&diff=21303&oldid=prev 2013-03-07T19:27:28Z

<p>‎<span dir="auto"><span class="autocomment">Lezione 1 - 06.03.2013</span></span></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="it"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Versione meno recente</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Versione delle 19:27, 7 mar 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l58" >Riga 58:</td> <td colspan="2" class="diff-lineno">Riga 58:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Confronto con la programmazione ad oggetti (java).</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Confronto con la programmazione ad oggetti (java).</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Storia della programmazione funzionale.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Storia della programmazione funzionale.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">=== Lezione 2 - 07.03.2013 ===</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Presentazione degli strumenti di visual studio per interagire con F#</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">** Scrittura di programmi sull'interprete e su file, passaggio da file all'interprete</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Presentazione della sintassi generale del linguaggio, comando &quot;let&quot;</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Funzioni in F#, differenti dalle funzioni tipiche degli altri linguaggi</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Tipi di dati, int, float, string, tuple</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Esercizi vari sulle basi del linguaggio</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* Sul [http://cooml.dsi.unimi.it/fp/Lez02/esercizio.txt sito] è presente un esercizio che comprende un po' tutto, è stato svolto in classe.</ins></div></td></tr> <!-- diff cache key mediawiki:diff::1.12:old-21302:rev-21303 --> </table>

Sera342 https://wiki.dsy.it/index.php?title=Programmazione_funzionale_2012/2013&diff=21302&oldid=prev 2013-03-07T14:55:25Z

<p>Aggiornato come trovare il libro</p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="it"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Versione meno recente</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Versione delle 14:55, 7 mar 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l33" >Riga 33:</td> <td colspan="2" class="diff-lineno">Riga 33:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Testi ===</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Testi ===</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''Functional Programming using F# , Michael R. Hansen and Hans Rischel''', il libro non è ancora disponibile, il professore <del class="diffchange diffchange-inline">provvederà a lasciare </del>il draft <del class="diffchange diffchange-inline">in fotocopisteria disponibile </del>per chi <del class="diffchange diffchange-inline">lo voglia fotocopiare (quale </del>fotocopisteria <del class="diffchange diffchange-inline">ed eventuale prezzo verrà inserito appena ci sarà detto)</del>.</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''Functional Programming using F# , Michael R. Hansen and Hans Rischel''', il libro non è ancora disponibile, il professore <ins class="diffchange diffchange-inline">ha lasciato </ins>il draft <ins class="diffchange diffchange-inline">del libro da fotocopiare </ins>per chi <ins class="diffchange diffchange-inline">vuole alla '''</ins>fotocopisteria <ins class="diffchange diffchange-inline">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</ins>.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Altro materiale di riferimento ===</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Altro materiale di riferimento ===</div></td></tr> <!-- diff cache key mediawiki:diff::1.12:old-21301:rev-21302 --> </table>

Sera342 https://wiki.dsy.it/index.php?title=Programmazione_funzionale_2012/2013&diff=21301&oldid=prev 2013-03-07T13:32:20Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="it"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Versione meno recente</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Versione delle 13:32, 7 mar 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l18" >Riga 18:</td> <td colspan="2" class="diff-lineno">Riga 18:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Orari e luogo delle lezioni ===</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Orari e luogo delle lezioni ===</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Mercoledì - 14:15 : 17:00 Via Comelico, 39/41 <del class="diffchange diffchange-inline">AULA </del>Sigma <del class="diffchange diffchange-inline">- LABORATORIO</del></div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Mercoledì - 14:15 : 17:00 Via Comelico, 39/41 <ins class="diffchange diffchange-inline">LABORATORIO </ins>Sigma &#160;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Giovedì&#160; - 14:15 : 17:00 Via Comelico, 39/41 <del class="diffchange diffchange-inline">AULA </del>Tau <del class="diffchange diffchange-inline">- LABORATORIO</del></div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Giovedì&#160; - 14:15 : 17:00 Via Comelico, 39/41 <ins class="diffchange diffchange-inline">LABORATORIO </ins>Tau &#160;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Informazioni specifiche ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Informazioni specifiche ==</div></td></tr> <!-- diff cache key mediawiki:diff::1.12:old-21300:rev-21301 --> </table>

Sera342 https://wiki.dsy.it/index.php?title=Programmazione_funzionale_2012/2013&diff=21300&oldid=prev 2013-03-07T13:31:48Z

<p>Modificato aula delle lezioni del giovedì</p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="it"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Versione meno recente</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Versione delle 13:31, 7 mar 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l19" >Riga 19:</td> <td colspan="2" class="diff-lineno">Riga 19:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Mercoledì - 14:15 : 17:00 Via Comelico, 39/41 AULA Sigma - LABORATORIO</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* Mercoledì - 14:15 : 17:00 Via Comelico, 39/41 AULA Sigma - LABORATORIO</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Giovedì&#160; - 14:15 : 17:00 Via Comelico, 39/41 AULA <del class="diffchange diffchange-inline">Omega </del>- LABORATORIO</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Giovedì&#160; - 14:15 : 17:00 Via Comelico, 39/41 AULA <ins class="diffchange diffchange-inline">Tau </ins>- LABORATORIO</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Informazioni specifiche ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Informazioni specifiche ==</div></td></tr> <!-- diff cache key mediawiki:diff::1.12:old-21299:rev-21300 --> </table>

Sera342 https://wiki.dsy.it/index.php?title=Programmazione_funzionale_2012/2013&diff=21299&oldid=prev 2013-03-07T13:31:15Z

<p>Modificato orario delle lezioni</p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="it"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Versione meno recente</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Versione delle 13:31, 7 mar 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l18" >Riga 18:</td> <td colspan="2" class="diff-lineno">Riga 18:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Orari e luogo delle lezioni ===</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Orari e luogo delle lezioni ===</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Mercoledì - 14:15 : 17:<del class="diffchange diffchange-inline">30 </del>Via Comelico, 39/41 AULA Sigma - LABORATORIO</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Mercoledì - 14:15 : 17:<ins class="diffchange diffchange-inline">00 </ins>Via Comelico, 39/41 AULA Sigma - LABORATORIO</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* Giovedì&#160; - 14:15 : 17:<del class="diffchange diffchange-inline">30 </del>Via Comelico, 39/41 AULA Omega - LABORATORIO</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* Giovedì&#160; - 14:15 : 17:<ins class="diffchange diffchange-inline">00 </ins>Via Comelico, 39/41 AULA Omega - LABORATORIO</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Informazioni specifiche ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Informazioni specifiche ==</div></td></tr> </table>

Sera342 https://wiki.dsy.it/index.php?title=Programmazione_funzionale_2012/2013&diff=21298&oldid=prev 2013-03-07T13:27:50Z

<p>Aggiunto un riferimento ad altro materiale internet</p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="it"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Versione meno recente</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Versione delle 13:27, 7 mar 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l47" >Riga 47:</td> <td colspan="2" class="diff-lineno">Riga 47:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[http://http://msdn.microsoft.com/en-us/library/ms123401.aspx MSDN Library] (Microsoft Developer Network).</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*[http://http://msdn.microsoft.com/en-us/library/ms123401.aspx MSDN Library] (Microsoft Developer Network).</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*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].</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Diario del corso ==</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Diario del corso ==</div></td></tr> <!-- diff cache key mediawiki:diff::1.12:old-21295:rev-21298 --> </table>

Sera342 https://wiki.dsy.it/index.php?title=Programmazione_funzionale_2012/2013&diff=21295&oldid=prev 2013-03-07T12:15:40Z

<p>Creazione della pagina</p> <p><b>Nuova pagina</b></p><div>[[Categoria:Corsi 2012-2013]]<br /> &lt;!-- non rimuovere ASSOLUTAMENTE le linee precedenti, servono per la categorizzazione della pagina --&gt;<br /> <br /> ==News==<br /> <br /> === Prove in itinere ===<br /> <br /> == Informazioni generali ==<br /> 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.<br /> <br /> === Docenti ===<br /> Prof. '''[http://homes.di.unimi.it/~fiorentini/ Camillo Fiorentini]''' / Prof. '''[http://homes.di.unimi.it/~momigliano/ Alberto Momigliano]''' <br /> <br /> === Corsi di laurea ===<br /> <br /> *[[:Categoria:Corsi Informatica|Informatica]]<br /> <br /> === Orari e luogo delle lezioni ===<br /> <br /> * Mercoledì - 14:15 : 17:30 Via Comelico, 39/41 AULA Sigma - LABORATORIO<br /> * Giovedì - 14:15 : 17:30 Via Comelico, 39/41 AULA Omega - LABORATORIO<br /> <br /> == Informazioni specifiche ==<br /> <br /> === Siti del corso ===<br /> <br /> *[http://cooml.dsi.unimi.it/fp/ Sito del corso]<br /> <br /> === Forum del corso, e affini ===<br /> <br /> * [http://www.dsy.it/forum/forumdisplay.php?s=c2baf9868dc697aeef71c0e8f5388f03&amp;forumid=490 Dsy.it]<br /> <br /> === Testi ===<br /> <br /> '''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).<br /> <br /> === Altro materiale di riferimento ===<br /> <br /> *''[http://www.apress.com/9781430224310 Expert F# 2.0]: , Don Syme, Adam Granicz, Antonio Cisternino.''<br /> *''[http://http://www.apress.com/9781590597576 Foundations of F#]: Robert Pickering.''<br /> <br /> === Altro materiale in Internet ===<br /> <br /> *[http://tryfsharporg.cloudapp.net/Resources/Teaching.aspx Insegnare F#]<br /> <br /> *Pagina[/http://en.wikibooks.org/wiki/Programming:F_Sharp wiki] sulla programmazione in F#.<br /> <br /> *[http://http://msdn.microsoft.com/en-us/library/ms123401.aspx MSDN Library] (Microsoft Developer Network).<br /> <br /> == Diario del corso ==<br /> <br /> === Lezione 1 - 06.03.2013 ===<br /> <br /> * Presentazione del corso. <br /> * Perché la programmazione funzionale, perché F#. <br /> * Confronto con la programmazione ad oggetti (java).<br /> * Storia della programmazione funzionale.</div>

Sera342