Style de continuation-passation (CPS)

Le style de transmission de continuation (CPS) est une technique de programmation utilisée pour préserver l'état d'exécution d'un programme lorsqu'il est interrompu. Dans le style de transmission de continuation, un appel de fonction stocke l'état actuel du programme dans la structure de données de continuation et le renvoie au système d'exploitation ou à une autre fonction qui le reprendra plus tard.

CPS permet plus d’options d’optimisation. Cela peut améliorer non seulement la vitesse d’exécution du code mais également sa lisibilité. Il est particulièrement utile en programmation fonctionnelle, où les tâches itératives peuvent être divisées en un ensemble d'appels de fonction pouvant être facilement réutilisés. C'est également utile pour la programmation asynchrone puisque des points de contrôle dans l'exécution peuvent être mis en place.

La CPS est étroitement liée à l'optimisation des appels de queue et est compatible avec de nombreux langages, notamment Scheme, Haskell et JavaScript. La technique est mieux utilisée dans les langages et les cadres conçus pour la programmation fonctionnelle, car on s'attend généralement à ce qu'ils soient capables de prendre en charge le CPS.

De plus, CPS permet une meilleure gestion des erreurs et un meilleur débogage, car il préserve la pile et tous les points de données qu'elle contient avant l'interruption. L'état du programme au moment de l'interruption peut alors être utilisé pour déboguer le code.

Dans l’ensemble, le style de transmission de continuation est une technique puissante et efficace qui permet une meilleure optimisation du codage et une meilleure gestion des erreurs. Il est utile en programmation fonctionnelle pour diviser les tâches en appels de fonction et peut être appliqué à différents langages.