Programming with Algebras

Esistono molti tipi diversi di matematica che si rivolgono al pubblico più variegato. Tra questi, la teoria delle categorie è quel tipo di matematica che si adatta particolarmente bene alle menti dei programmatori. Questo perché la teoria delle categorie, anziché occuparsi dei dettagli, si occupa di struttura: in particolare quel tipo di struttura che rende i programmi componibili. E la composizione è l'essenza della programmazione.

Nel corso del talk impareremo le basi della teoria delle categorie evidenziando i benefici e le idee che sta portando al mondo della programmazione funzionale (e non).