Programmation compositionnelle et traversabilité

Pour cette pénultième session de la saison 2025-2026 de Lambda Nantes nous avons le plaisir de vous proposer 2 présentations. Nous remercions encore une fois Epitech Nantes de nous accueillir dans leurs locaux. Comme à l'accoutumée, les présentations seront suivies pour celleux qui le désirent de conversations informelles autour d'une boisson, alcoolisée ou non, dans un bar des alentours.Programmation compositionnelleÉric Torreborre nous parlera tout d'abord des avancées les plus récentes pour résoudre le "Problème de l'expression" (Expression Problem). Modulariser une base de code est extrêmement bénéfique, mais peut être également très difficile. Cette présentation part d'un exemple concret de système sur lequel l'auteur a travaillé pour ensuite revenir aux sources des difficultés liées à la modularité avec "l'Expression Problem". Nous verrons que les solutions proposées pour résoudre ce problème sont insuffisantes et ne permettent pas d'adresser des situations plus complexes de dépendences modulaires.Heureusement la recherche est active sur le sujet! Nous verrons qu'un nouveau langage de programmation et système de types associé permettent de faire de grands progrès. Question finale : aurait-on pu utiliser ce langage pour développer de façon plus heureuse l'exemple initial ?Eric Torreborre est un développeur senior avec une expérience de plusieurs décennies dans le développement logiciel en éditeur de logiciels, R&D, startups. Il a une appétence particulière pour les langages fonctionnels et est bien connu de la communauté Scala pour avoir créé les bibliothèques de tests specs et specs2.Les chemins de traverse (sous réserve)Dans la continuité, Clément Delafargue nous expliquera ensuite pourquoi "c'est toujours traverse !"Dans le monde de la programmation fonctionnelle typée, une fonction appelée traverse est plus ou moins devenue un mème, grâce à son applicabilité.En général ça se passe comme ça :— Comment je peux faire pour-— C’est traverseTout cela peut sembier bien abstrait, nous verrons donc quelques cas où c’était effectivement `traverse`.appels asynchronesvalidation de donnéesexécution conditionnellegénération de parsersExplorer tous ces exemples nous aidera à en apprendre plus au sujet de l’abstraction sur laquelle s’appuie traverse : les foncteurs applicatifs.Clément Delafargue est "Software engineer" chez Datadog, il a une expérience riche et variée de Tech Lead, CTO, formateur, et consultant.