Enseignement 2023-2024 : Structures de contrôle : de « goto » aux effets algébriques Cours du 1er février 2024 : Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme Professeur : Xavier Leroy Chaire Sciences du logiciel 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 1er février 2024 : Structures de contrôle avancées : des subroutines aux coroutines et au parallélisme Professeur : Xavier Leroy Chaire Sciences du logiciel 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
This is the third installment in the video series explaining OCaml's locals. In this video, I explain how locality is a *mode* and how sub-moding works. (It's kinda like sub-typing.) To get the compiler I'm using here, see the instructions at https://github.com/janestreet/opam-repository/tree/with-extensions
This is the third installment in the video series explaining OCaml's locals. In this video, I explain how locality is a *mode* and how sub-moding works. (It's kinda like sub-typing.) To get the compiler I'm using here, see the instructions at https://github.com/janestreet/opam-repository/tree/with-extensions
As programs grow in size and complexity, they become more challenging to optimise. When the cause of a particular performance issue can…
Enseignement 2023-2024 : Structures de contrôle : de « goto » aux effets algébriques Cours du 25 janvier 2024 : Naissance des structures de contrôle : du « goto » à la programmation structurée Professeur : Xavier Leroy Chaire Sciences du logiciel Un programme informatique décrit non seulement les calculs élémentaires à effectuer sur les données d'entrée, mais aussi dans quel ordre et sous quelles conditions effectuer ces calculs. Pour exprimer cet enchaînement des calculs, les langages de programmation fournissent des mécanismes appelés structures de contrôle. Depuis les branchements « goto » des premiers langages de programmation, de nombreuses structures de contrôle ont été mises en œuvre : boucles, procédures et fonctions, exceptions, itérateurs, coroutines, exceptions… Après des rappels sur ces structures classiques et sur leur contexte historique d'apparition, le cours développera une approche plus moderne du contrôle vu comme un objet manipulable par le programme, permettant ainsi au programmeur de définir ses propres structures de contrôles. Initiée au siècle dernier par les travaux sur les continuations et leurs opérateurs de contrôle, cette approche est en plein renouvellement avec la théorie des effets algébriques et sa déclinaison sous forme d'effets et de gestionnaires d'effets définis par le programmeur dans des langages comme OCaml 5. 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 25 janvier 2024 : Naissance des structures de contrôle : du « goto » à la programmation structurée Professeur : Xavier Leroy Chaire Sciences du logiciel Un programme informatique décrit non seulement les calculs élémentaires à effectuer sur les données d'entrée, mais aussi dans quel ordre et sous quelles conditions effectuer ces calculs. Pour exprimer cet enchaînement des calculs, les langages de programmation fournissent des mécanismes appelés structures de contrôle. Depuis les branchements « goto » des premiers langages de programmation, de nombreuses structures de contrôle ont été mises en œuvre : boucles, procédures et fonctions, exceptions, itérateurs, coroutines, exceptions… Après des rappels sur ces structures classiques et sur leur contexte historique d'apparition, le cours développera une approche plus moderne du contrôle vu comme un objet manipulable par le programme, permettant ainsi au programmeur de définir ses propres structures de contrôles. Initiée au siècle dernier par les travaux sur les continuations et leurs opérateurs de contrôle, cette approche est en plein renouvellement avec la théorie des effets algébriques et sa déclinaison sous forme d'effets et de gestionnaires d'effets définis par le programmeur dans des langages comme OCaml 5. 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
There is no room for complacency in software development! In the OCaml ecosystem, improvements are continuously introduced to optimise…