Pour rester informé sur l'actualité de Devoxx France, suivez nous sur twitter : https://twitter.com/DevoxxFR ou consultez notre site web https://www.devoxx.fr/ Nous sommes de plus en plus enclins à utiliser des techniques issues de la programmation fonctionnelle au quotidien : des combinateurs comme map ou filter en lieu et place de boucles, une liste définie en compréhension, un algorithme de type diviser pour régner… Et derrière ces constructions se trouvent des fonctions, le plus souvent récursives. Et bien sûr, tout le monde sait ce que sont : évaluation stricte ou paresseuse ? La récursivité simple, mutuelle ou terminale ? Un trampoline ? Comment est compilé un appel de fonction ? Les conditions pour l’optimiser ? Si ce n’est pas complètement le cas, je vous invite à une session de décorticage des fonctions (éventuellement récursives) qui embrassera des sujets allant de la sémantique opérationnelle, jusqu’à la traduction en langage machine. Ce sera une occasion de toucher du doigt des notions de mise en œuvre de ces langages que nous utilisons tous les jours, sans vraiment savoir comment ils sont faits. Mise en garde : cette présentation pourra contenir des traces de sémantique formelle.