Frédéric Cabestre

Frédéric Cabestre

SIGUSR

Développeur indépendant, tendance « Artisan du logiciel ». Depuis longtemps attiré par les langages et leur mise en œuvre. Grand amateur de programmation fonctionnelle, même quand ce n'était pas encore cool. Curieux des systèmes, surtout s'ils sont distribués.

Twitter : @fcabestre

lang

Track : Languages

Type de présentation : Conference

Les fonctions (récursives) décortiquées

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.