La Theorie des Categories est très intimidante. Beaucoup de gens intelligents utilisent beaucoup de mots complexes pour en parler. Est-ce qu’on a besoin de la comprendre en tant que professionnel du code ? En résumé, il s’agit de la branche la plus abstraite des mathématiques. Tellement abstraite que vous l’utilisez déjà probablement, sans le savoir, et que de nombreux théorèmes mathématiques que vous connaissez peuvent également être démontrés à l’aide des catégories. Le but de cette présentation est de montrer que, une fois qu’on a le bon vocabulaire, ce n’est pas si complexe. Nous verrons ensemble à quoi cela peut nous servir, dans le contexte de la programmation. Nous verrons également en quoi la conception en théorie des catégories se rapproche de la conception que nous utilisons pour développer un logiciel.
Track : Agilité, Méthodologie & Tests
Niveau de la présentation : Intermédiaire
Mots clés: functional programming
La salle sera affectée entre 24 et 72h avant la conférence
Développeur freelance, je place au centre de ma démarche professionnelle la qualité. Pour cela, je m'intéresse à de nombreux sujets tels que les tests, le Domain Driven Design, la programmation fonctionnelle, les méthodologies telles que l'Agilité, la sociologie, etc. Je participe également à la vie des communautés tech Lyonnaises, notamment au sein de l'organisation des événements des Software Crafters Lyon.