Enseignement 2023-2024 : Structures de contrôle : de « goto » aux effets algébriques Cours du 15 février 2024 : Programmer ses structures de contrôle : continuations et opérateurs de contrôle Professeur : Xavier Leroy Chaire Sciences du logiciel Le quatrième cours a introduit la notion de continuation d'un point de programme dans un programme impératif, ou d'une sous-expression dans un programme fonctionnel. Il s'agit de la suite des calculs restant à effectuer pour atteindre la fin du programme, représentée soit par un objet du langage de programmation (commande, fonction, ...), soit par un objet mathématique. Dans les travaux de recherche des années 1965–1975 sur la sémantique dénotationnelle, les continuations apparaissent comme moyen de donner une sémantique mathématiquement précise aux branchements «goto» non locaux du langage Algol. Mais c'est dans le cadre des langages de programmation fonctionnelle que les continuations montrent tout leur intérêt : tout d'abord, pour spécifier complètement les stratégies de réductions (comme l'appel par valeur et l'appel par nom) par transformation systématique des programmes, pour les mettre en style à passage de continuations (CPS, Continuation-Passing Style); ensuite, pour programmer manuellement dans ce style à passage de continuations, ce qui permet de définir de nombreuses structures de contrôle avancées (itérateurs, générateurs, coroutines, threads coopératifs) dans le langage même, sous forme de bibliothèques. Enfin, l'ajout d'opérateurs de contrôle à un langage fonctionnel, comme le call/cc du langage Scheme, donne aux programmes de nouveaux moyens pour capturer, réifier et relancer leurs propres continuations, permettant ainsi de définir des structures de contrôle avancées dans le langage tout en gardant le programme en «style direct», sans mise en forme CPS manuelle. Retrouvez les enregistrements audios et vidéos du cycle et son texte de présentation : https://www.college-de-france.fr/fr/agenda/cours/structures-de-controle-de-goto-aux-effets-algebriques Retrouvez tous les enseignements du Pr Xavier Leroy : https://www.college-de-france.fr/chaire/xavier-leroy-sciences-du-logiciel-chaire-statutaire https://www.youtube.com/playlist?list=PLtimy8tnozICbD45yhB7Ha_zIBJTIK3im Le Collège de France est une institution de recherche fondamentale dans tous les domaines de la connaissance et un lieu de diffusion du « savoir en train de se faire » ouvert à tous. Les cours, séminaires, colloques sont enregistrés puis mis à disposition du public sur le site internet du Collège de France. Découvrez toutes les ressources du Collège de France : https://www.college-de-france.fr Suivez-nous sur : Facebook : https://www.facebook.com/College.de.France Instagram : https://www.instagram.com/collegedefrance X (ex-Twitter) : https://twitter.com/cdf1530 LinkedIn : https://fr.linkedin.com/company/collègedefrance
Enseignement 2023-2024 : Structures de contrôle : de « goto » aux effets algébriques Cours du 15 février 2024 : Programmer ses structures de contrôle : continuations et opérateurs de contrôle Professeur : Xavier Leroy Chaire Sciences du logiciel Le quatrième cours a introduit la notion de continuation d'un point de programme dans un programme impératif, ou d'une sous-expression dans un programme fonctionnel. Il s'agit de la suite des calculs restant à effectuer pour atteindre la fin du programme, représentée soit par un objet du langage de programmation (commande, fonction, ...), soit par un objet mathématique. Dans les travaux de recherche des années 1965–1975 sur la sémantique dénotationnelle, les continuations apparaissent comme moyen de donner une sémantique mathématiquement précise aux branchements «goto» non locaux du langage Algol. Mais c'est dans le cadre des langages de programmation fonctionnelle que les continuations montrent tout leur intérêt : tout d'abord, pour spécifier complètement les stratégies de réductions (comme l'appel par valeur et l'appel par nom) par transformation systématique des programmes, pour les mettre en style à passage de continuations (CPS, Continuation-Passing Style); ensuite, pour programmer manuellement dans ce style à passage de continuations, ce qui permet de définir de nombreuses structures de contrôle avancées (itérateurs, générateurs, coroutines, threads coopératifs) dans le langage même, sous forme de bibliothèques. Enfin, l'ajout d'opérateurs de contrôle à un langage fonctionnel, comme le call/cc du langage Scheme, donne aux programmes de nouveaux moyens pour capturer, réifier et relancer leurs propres continuations, permettant ainsi de définir des structures de contrôle avancées dans le langage tout en gardant le programme en «style direct», sans mise en forme CPS manuelle. Retrouvez les enregistrements audios et vidéos du cycle et son texte de présentation : https://www.college-de-france.fr/fr/agenda/cours/structures-de-controle-de-goto-aux-effets-algebriques Retrouvez tous les enseignements du Pr Xavier Leroy : https://www.college-de-france.fr/chaire/xavier-leroy-sciences-du-logiciel-chaire-statutaire https://www.youtube.com/playlist?list=PLtimy8tnozICbD45yhB7Ha_zIBJTIK3im Le Collège de France est une institution de recherche fondamentale dans tous les domaines de la connaissance et un lieu de diffusion du « savoir en train de se faire » ouvert à tous. Les cours, séminaires, colloques sont enregistrés puis mis à disposition du public sur le site internet du Collège de France. Découvrez toutes les ressources du Collège de France : https://www.college-de-france.fr Suivez-nous sur : Facebook : https://www.facebook.com/College.de.France Instagram : https://www.instagram.com/collegedefrance X (ex-Twitter) : https://twitter.com/cdf1530 LinkedIn : https://fr.linkedin.com/company/collègedefrance
Reaping the plentiful benefits of parallel programming requires the careful management of the intricacies that come with it. Tarides played…
Introduction for OCaml, a blog post for developers that want to dig into OCaml
Enseignement 2023-2024 : Structures de contrôle : de « goto » aux effets algébriques Séminaire du 8 février 2024 : Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques Intervenante : Caroline Collange, Inria Depuis la machine analytique de Babbage et Lovelace, le langage machine exécuté par les processeurs consiste typiquement en une succession d'instructions dans l'ordre. Mais une mise en œuvre efficace en matériel nécessite d'exécuter des instructions en parallèle. Deux approches sont suivies respectivement dans les processeurs généralistes et les processeurs graphiques pour combler ce fossé. Un cœur d'un processeur actuel maintient l'illusion d'une exécution séquentielle, mais traite en réalité plusieurs centaines d'instructions en vol, et les exécute dans le désordre. Ce jeu d'équilibriste repose sur de nombreux mécanismes matériels, dont la prédiction de branchements et le renommage de registres. Lire la suite : https://www.college-de-france.fr/fr/agenda/seminaire/structures-de-controle-de-goto-aux-effets-algebriques/comment-concilier-parallelisme-et-controle-approches-des-architectures-de-processeurs-generalistes Retrouvez les enregistrements audios et vidéos du cycle et son texte de présentation : https://www.college-de-france.fr/fr/agenda/seminaire/structures-de-controle-de-goto-aux-effets-algebriques Chaire Sciences du logiciel Professeur : Xavier Leroy Retrouvez tous les enseignements du Pr Xavier Leroy : https://www.college-de-france.fr/chaire/xavier-leroy-sciences-du-logiciel-chaire-statutaire https://www.youtube.com/playlist?list=PLtimy8tnozICbD45yhB7Ha_zIBJTIK3im Le Collège de France est une institution de recherche fondamentale dans tous les domaines de la connaissance et un lieu de diffusion du « savoir en train de se faire » ouvert à tous. Les cours, séminaires, colloques sont enregistrés puis mis à disposition du public sur le site internet du Collège de France. Découvrez toutes les ressources du Collège de France : https://www.college-de-france.fr Suivez-nous sur : Facebook : https://www.facebook.com/College.de.France Instagram : https://www.instagram.com/collegedefrance X (ex-Twitter) : https://twitter.com/cdf1530 LinkedIn : https://fr.linkedin.com/company/collègedefrance
Enseignement 2023-2024 : Structures de contrôle : de « goto » aux effets algébriques Séminaire du 8 février 2024 : Comment concilier parallélisme et contrôle ? Approches des architectures de processeurs généralistes et graphiques Intervenante : Caroline Collange, Inria Depuis la machine analytique de Babbage et Lovelace, le langage machine exécuté par les processeurs consiste typiquement en une succession d'instructions dans l'ordre. Mais une mise en œuvre efficace en matériel nécessite d'exécuter des instructions en parallèle. Deux approches sont suivies respectivement dans les processeurs généralistes et les processeurs graphiques pour combler ce fossé. Un cœur d'un processeur actuel maintient l'illusion d'une exécution séquentielle, mais traite en réalité plusieurs centaines d'instructions en vol, et les exécute dans le désordre. Ce jeu d'équilibriste repose sur de nombreux mécanismes matériels, dont la prédiction de branchements et le renommage de registres. Lire la suite : https://www.college-de-france.fr/fr/agenda/seminaire/structures-de-controle-de-goto-aux-effets-algebriques/comment-concilier-parallelisme-et-controle-approches-des-architectures-de-processeurs-generalistes Retrouvez les enregistrements audios et vidéos du cycle et son texte de présentation : https://www.college-de-france.fr/fr/agenda/seminaire/structures-de-controle-de-goto-aux-effets-algebriques Chaire Sciences du logiciel Professeur : Xavier Leroy Retrouvez tous les enseignements du Pr Xavier Leroy : https://www.college-de-france.fr/chaire/xavier-leroy-sciences-du-logiciel-chaire-statutaire https://www.youtube.com/playlist?list=PLtimy8tnozICbD45yhB7Ha_zIBJTIK3im Le Collège de France est une institution de recherche fondamentale dans tous les domaines de la connaissance et un lieu de diffusion du « savoir en train de se faire » ouvert à tous. Les cours, séminaires, colloques sont enregistrés puis mis à disposition du public sur le site internet du Collège de France. Découvrez toutes les ressources du Collège de France : https://www.college-de-france.fr Suivez-nous sur : Facebook : https://www.facebook.com/College.de.France Instagram : https://www.instagram.com/collegedefrance X (ex-Twitter) : https://twitter.com/cdf1530 LinkedIn : https://fr.linkedin.com/company/collègedefrance