Ce projet est une ressource pédagogique dédiée à l'apprentissage et à la pratique de la programmation fonctionnelle. Il propose un environnement simple pour compiler et exécuter des programmes écrits en OCaml, un langage de programmation fonctionnel. Idéal pour les étudiants ou les développeurs souhaitant se familiariser avec ce paradigme.

Ce projet fournit des ressources pédagogiques destinées aux étudiants en programmation fonctionnelle avec le langage OCaml. Il inclut des exercices pratiques, des exemples de code et des supports de cours pour faciliter l'apprentissage et la maîtrise de ce langage de programmation.

Projet pédagogique destiné aux étudiants en deuxième année d'informatique à l'IUT de Nantes. Il vise à enseigner les concepts de la programmation fonctionnelle à travers des exercices pratiques en Scala. Permet aux étudiants de manipuler des fonctions pures, des types algébriques et des structures de données immuables.

Ce projet académique illustre les principes de la programmation fonctionnelle à travers des exemples concrets et des exercices pratiques. Il sert de support pédagogique pour des étudiants en informatique souhaitant maîtriser les concepts clés comme l'immutabilité, les fonctions pures et la récursivité. Le dépôt de code source est conçu pour être modulaire et facilement extensible.

Ce projet vise à démystifier la programmation fonctionnelle et le langage Scala. Il propose des ressources pédagogiques pour comprendre les concepts fondamentaux de la programmation fonctionnelle à travers des exemples concrets en Scala. Le dépôt inclut des exercices pratiques, des revues de syntaxe et des extensions pour explorer les capacités du langage, notamment dans un contexte multi-paradigme.

Ce projet propose une introduction pratique au langage OCaml et à une partie de son écosystème. Il s'adresse aussi bien aux débutants qu'aux développeurs souhaitant approfondir leurs connaissances en programmation fonctionnelle. Le contenu couvre les bases du langage, la gestion de projets avec Dune, les tests unitaires et des concepts avancés comme les foncteurs. Des notebooks interactifs permettent une expérience d'apprentissage immersive.

Ce projet académique propose un enseignement complet en programmation fonctionnelle et en preuves formelles utilisant l'assistant de preuve Coq/Rocq. Destiné aux étudiants de Master 2 LMFI de l'Université de Paris, il couvre des sujets avancés comme la compression de données, la compilation certifiée et la formalisation de théorèmes mathématiques. Les étudiants réalisent des projets pratiques pour appliquer ces concepts théoriques.

Ce projet est un dépôt de code source pour le cours UE LIFPF INF2030L Programmation Fonctionnelle du semestre 2024 Printemps. Il contient des diapositives, des sujets de TD, de TP et de CM, ainsi que des corrigés et des configurations pour les salles de TP. Les thèmes abordés dans ce cours sont le lambda-calcul, le langage de programmation OCaml, les structures de données récursives, les foncteurs, et l'ordre supérieur.