L'arte della composizione

L'arte di comporre ci permette di costruire architetture complesse partendo da componenti semplici. Inoltre avere blocchi semplici e facilmente componibili ci permette di ottenere l'agognata capacità di riutilizzare parti del codice che abbiamo già scritto. La disciplina che studia e formalizza i meccanismi che regolano la composizione viene chiamata dai matematici teoria delle categorie. In questo talk vedremo insieme quali sono le idee e i concetti principali che la teoria delle categorie ci offre, e ragioneremo sul perchè un tale approccio può essere interessante ed utile per un qualunque programmatore. --------------------------------------------------------------------------------------- Il nostro Speaker Marco Perone. Software bricklayer in MVLabs. Cresciuto come matematico, amo portare nel codice che scrivo la stessa precisione e lo stesso formalismo che si trova in matematica. Nel bel mezzo di una (im)mutazione verso approcci e linguaggi funzionali.