Notes de la séance 8 de TransProg M2
=====================================

Exercices et prolongements concernant la récursivité terminale et les continuations.

Exercices sur la récursivité terminale

Voir Tailrec.md et Tailrec_solution.md

La notion de trampoline

Voir Trampoline.md

Comment les continuations permettent de simuler des exceptions

Voir Exceptions.md

Pour aller plus loin : callcc

Facultatif.

Les continuations sont au coeur d’un opérateur assez mystérieux
proposé par certains langages : callcc, nom abrégé de
call-with-current-continuation. Cet opérateur rend explicite
la continuation actuelle d’un calcul (ce qui est normalement
une donnée interne à l’interpréteur ou au “runtime” du langage).

Voir https://en.wikipedia.org/wiki/Call-with-current-continuation

Annales d’examen 2024

Voir Examen2024.pdf