<div dir="ltr"><div><div>Per chi si fosse perso il primo incontro:<br></div>è a Siena un esperto di linguaggi di programmazione, Bartosz Milewsky: si è unito a siliconhills e si è offerto di contribuire all&#39;iniziativa parlandoci di linguaggi funzionali, in particolare Haskell.<br><br></div>Bartosz inoltre è un esperto di teria delle categorie: <a href="http://it.wikipedia.org/wiki/Teoria_delle_categorie" target="_blank">http://it.wikipedia.org/wiki/Teoria_delle_categorie</a><br><div><br>Nel primo incontro ci ha introdotto i costrutti base di Haskell: i primi due capitoli del suo il tutorial (vedi <a href="https://www.fpcomplete.com/school/starting-with-haskell/basics-of-haskell" target="_blank">https://www.fpcomplete.com/school/starting-with-haskell/basics-of-haskell</a>).<br><br></div><div>Senza dilungarmi troppo (vi rimando ad un post sul blog che ho intenzione di scrivere nei prossimi giorni) la teoria delle categorie permette di ragionare su sistemi software in modo diverso, formalmente più corretto e anche semplice.<br><br></div><div>Un paragone può aiutare a capire l&#39;idea di fondo. In tutte le discipline, quando si studiano problemi complessi si cerca di scomporli in parti più semplici. Risolti tutti i sotto.problemi si ottiene la suluzione per *composizone*, ovvero &quot;rimettendo insime i pezzetti&quot;. In matematica questo approccio, applicato agli spazi vettoriali, porta al principio di &quot;sovrapposizione degli effetti&quot; che viene usato estensivamente in ingegneria, in fisica, in biologia ed in molte altre discipline.<br><br></div><div>Nel software il passaggio di composizione non è ancora stato ben formalizzato: molti tentativi hanno fallito nel raggiungere il &quot;nirvana&quot; del software, ovvero il riuso e la componibilità. Quando due parti di un software complesso vengono sviluppate indipendentemente e poi ricomposte non esiste, fino ad oggi, garanzia matematica che la somma delle parti si comporti come ci si aspetta. Con la teoria delle categorie <br>applicata all&#39;ingegneria del software questo limite potrebbe essere rimosso.<br><br></div><div>Ciao<br></div><div>Vincenzo<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2015-03-19 8:48 GMT+01:00 Paolo Sammicheli <span dir="ltr">&lt;<a href="mailto:paolo@sammiche.li" target="_blank">paolo@sammiche.li</a>&gt;</span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Il 18/03/2015 20:48, Vincenzo Di Massa ha scritto:<span class=""><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Ciao a tutti,<br>
<br>
Ho chiuso il doodle, abbiamo scelto sabato 11 aprile alle ore 16. Sarà<br>
una full immersion in siliconhills visto che a cena siamo insieme alla<br>
mattonaia.<br>
<br>
@Paolo: lo crei tu l&#39;evento su eventbrite?<br>
<br>
@Antonio: per te va bene come data/ora?<br>
</blockquote>
<br></span>
Per eventbrite ci penso io.<br>
<br>
Ciao<span class="HOEnZb"><font color="#888888"><br>
-- <br>
Paolo Sammicheli  &lt;paolo(AT)<a href="http://sammiche.li" target="_blank">sammiche.li</a>&gt;<br>
<a href="http://www.linkedin.com/in/paolosammicheli" target="_blank">http://www.linkedin.com/in/<u></u>paolosammicheli</a><br>
- Do what you like. Like what you do -<br>
______________________________<u></u>_________________<br>
Coordinamento mailing list<br>
<a href="mailto:Coordinamento@liste.siliconhills.it" target="_blank">Coordinamento@liste.<u></u>siliconhills.it</a><br>
<a href="http://liste.siliconhills.it/cgi-bin/mailman/listinfo/coordinamento" target="_blank">http://liste.siliconhills.it/<u></u>cgi-bin/mailman/listinfo/<u></u>coordinamento</a><br>
</font></span></blockquote></div><br></div>