The OCaml Planet

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

Enseignement 2023-2024 : Structures de contrôle : de « goto » aux effets algébriques Cours du 8 février 2024 : Chassez le contrôle... : la programmation déclarative La programmation déclarative s'attache à décrire les résultats attendus du programme sans pour autant expliciter l'enchaînement des étapes de calcul élémentaires qui produisent ces résultats, au contraire de la programmation impérative classique. Avons-nous encore besoin de structures de contrôle dans les programmes déclaratifs ? Le troisième cours a tenté de répondre à cette question en prenant l'exemple de trois paradigmes de programmation déclarative : la programmation réactive synchrone (Lustre), la programmation purement fonctionnelle (Haskell, Scheme pur), et la programmation logique (Prolog). Les sémantiques des programmes écrits dans ces langages reposent sur des principes élégants mais qui ne suffisent pas pour garantir la terminaison et le coût (en temps, en espace) des exécutions d'un programme ; d'où l'importance, même dans un langage déclaratif, de donner aux programmeurs les moyens de contrôler la manière dont leurs programmes sont évalués. Nous avons mentionné trois de ces moyens : ajouter des opérations ad hoc comme la coupure en Prolog, spécifier les stratégies d'évaluation utilisées (comme l'appel par valeur en Scheme et l'appel par nécessité en Haskell), ou encoder la stratégie désirée dans le programme lui-même (par exemple en ajoutant des suspensions dans un programme Scheme). 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 8 février 2024 : Chassez le contrôle... : la programmation déclarative La programmation déclarative s'attache à décrire les résultats attendus du programme sans pour autant expliciter l'enchaînement des étapes de calcul élémentaires qui produisent ces résultats, au contraire de la programmation impérative classique. Avons-nous encore besoin de structures de contrôle dans les programmes déclaratifs ? Le troisième cours a tenté de répondre à cette question en prenant l'exemple de trois paradigmes de programmation déclarative : la programmation réactive synchrone (Lustre), la programmation purement fonctionnelle (Haskell, Scheme pur), et la programmation logique (Prolog). Les sémantiques des programmes écrits dans ces langages reposent sur des principes élégants mais qui ne suffisent pas pour garantir la terminaison et le coût (en temps, en espace) des exécutions d'un programme ; d'où l'importance, même dans un langage déclaratif, de donner aux programmeurs les moyens de contrôler la manière dont leurs programmes sont évalués. Nous avons mentionné trois de ces moyens : ajouter des opérations ad hoc comme la coupure en Prolog, spécifier les stratégies d'évaluation utilisées (comme l'appel par valeur en Scheme et l'appel par nécessité en Haskell), ou encoder la stratégie désirée dans le programme lui-même (par exemple en ajoutant des suspensions dans un programme Scheme). 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