SnowCamp 2022

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 : appel _par valeur_, _par nom_, _par nécessité_ ? 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 tout à fait le cas, je vous invite à une session de décorticage des fonctions (éventuellement récursives) qui embrassera des sujets allant de la sémantique abstraite, 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 coroutines.