[Silicon Hills] v0x02 :: [ SiliconHillsAndSlug ] -> LiveProgrammingCafe -> [ HaskellDevelopers ]

Vincenzo Di Massa hawk.it a tiscali.it
Sab 21 Mar 2015 09:39:57 GMT


Per chi si fosse perso il primo incontro:
è a Siena un esperto di linguaggi di programmazione, Bartosz Milewsky: si è
unito a siliconhills e si è offerto di contribuire all'iniziativa
parlandoci di linguaggi funzionali, in particolare Haskell.

Bartosz inoltre è un esperto di teria delle categorie:
http://it.wikipedia.org/wiki/Teoria_delle_categorie

Nel primo incontro ci ha introdotto i costrutti base di Haskell: i primi
due capitoli del suo il tutorial (vedi
https://www.fpcomplete.com/school/starting-with-haskell/basics-of-haskell).

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.

Un paragone può aiutare a capire l'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 "rimettendo insime i pezzetti". In matematica questo
approccio, applicato agli spazi vettoriali, porta al principio di
"sovrapposizione degli effetti" che viene usato estensivamente in
ingegneria, in fisica, in biologia ed in molte altre discipline.

Nel software il passaggio di composizione non è ancora stato ben
formalizzato: molti tentativi hanno fallito nel raggiungere il "nirvana"
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
applicata all'ingegneria del software questo limite potrebbe essere rimosso.

Ciao
Vincenzo

2015-03-19 8:48 GMT+01:00 Paolo Sammicheli <paolo a sammiche.li>:

> Il 18/03/2015 20:48, Vincenzo Di Massa ha scritto:
>
>> Ciao a tutti,
>>
>> Ho chiuso il doodle, abbiamo scelto sabato 11 aprile alle ore 16. Sarà
>> una full immersion in siliconhills visto che a cena siamo insieme alla
>> mattonaia.
>>
>> @Paolo: lo crei tu l'evento su eventbrite?
>>
>> @Antonio: per te va bene come data/ora?
>>
>
> Per eventbrite ci penso io.
>
> Ciao
> --
> Paolo Sammicheli  <paolo(AT)sammiche.li>
> http://www.linkedin.com/in/paolosammicheli
> - Do what you like. Like what you do -
> _______________________________________________
> Coordinamento mailing list
> Coordinamento a liste.siliconhills.it
> http://liste.siliconhills.it/cgi-bin/mailman/listinfo/coordinamento
>
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://liste.siliconhills.it/pipermail/coordinamento/attachments/20150321/f2473e18/attachment.htm>


Maggiori informazioni sulla lista Coordinamento