Loading…
Attending this event?
2nd-5th of February 2022 / 2-5 Février 2022, Grenoble
Back To Schedule
Thursday, February 3 • 11:45 - 12:30
Les fonctions (récursives) décortiquées

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

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.

Speakers
avatar for Frédéric Cabestre

Frédéric Cabestre

SIGUSR
Développeur indépendant, tendance «software crafter». 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.


Thursday February 3, 2022 11:45 - 12:30 GMT
Makalu WTC, 5 - 7, place Robert Schuman, 38025 Grenoble

Attendees (4)