Programmation fonctionnelle en OCaML
Cours : Programmation fonctionnelle en OCaML | Plateforme pédagogique de l'université de Bordeaux
-
Tout ouvrir
Tout fermer
-
Instruction : un clic sur le titre de la section affiche ou masque cette section
-
TP noté
-
Téléchargez le sujet tp-note.pdf ainsi que le fichier student.ml dans lequel vous travaillerez.
Dans ce fichier, indiquez vos nom, prénom, numéro de groupe.
Rendez votre travail dans la rubrique de votre groupe (sauf si vous disposez d'un tiers-temps ET rendez après 9h30). Dans ce cas rendez dans la rubrique Tiers-temps.
-
-
Ressources
-
Bibliothèque sur les graphes
-
Ouvert : mardi 15 octobre 2024, 09:05
Pour ceux qui voudraient aller plus loin en programmation OCaML, nous pouvons vous proposer de programmer quelques algorithmes sur les graphes à partir d'une bibliothèque de base que nous vous fournirions.
Il n'y a pas d'évaluation prévue pour ce travail. Pour ceux qui sont déjà à l'aise avec OCaML du fait de l'avoir pratiqué en Algorithmique des Structures arborescentes en L2, ça serait un investissement pour l'avenir puisque OCaML sera utilisé en Compilation ainsi qu'en Vérification en Master.
Ce sondage pour savoir s'il y a des personnes intéressées par ce travail.
-
-
Cours
-
2-Fonctions
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
3-Types et inférence de type
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
Exercice complémentaire. À ne faire que si vous avez fait entièrement les 3 premières feuilles y compris le calcul de fibonacci en temps logarithmique.
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
5- Application: zones géométriques
-
- Lignes à rajouter dans votre fichier
.profilepour avoir les bonnes versions de OCaML et Dune-
export OPAMROOT=/opt/local/opam
-
eval $(opam env)
-
- Télécharger et désarchiver l'archive
Zones.zip - Se placer dans le dossier le dossier
Zones - Lire le fichier
README - Se placer dans le dossier
src - Copier une version testée du fichier
mycomplex.mldans le dossier - La visualisation ne fonctionnera que si
ImageMagickest installé sur votre machine
- Lignes à rajouter dans votre fichier
-
- Télécharger et désarchiver l'archive
Zones.zip - Se placer dans le dossier le dossier
Zones - Copier une version testée du fichier
mycomplex.mldans le dossier - Lire le fichier
README
- Télécharger et désarchiver l'archive
-
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
-
6- Enregistrements, types récursifs, récursivité terminale
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
8- Application: Album photos
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
9 - Dictionnaires
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
-
-
10 - Listes (fonctions fold)
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
11- Efficacité
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
12- Tris
-
-
Ouvert le : lundi 7 octobre 2024, 00:00
-
-
Annales
-