Programmation fonctionnelle en OCaML
课程： Programmation fonctionnelle en OCaML | Plateforme pédagogique de l'université de Bordeaux
-
全部展开
全部折叠
-
说明：要显示或隐藏某小节，请单击此小节的名称。
-
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
-
已打开: 2024年10月15日 星期二 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
-
打开： 2024年10月7日 星期一 00:00
-
3-Types et inférence de type
-
打开： 2024年10月7日 星期一 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.
-
打开： 2024年10月7日 星期一 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
-
-
打开： 2024年10月7日 星期一 00:00
-
-
6- Enregistrements, types récursifs, récursivité terminale
-
打开： 2024年10月7日 星期一 00:00
-
8- Application: Album photos
-
打开： 2024年10月7日 星期一 00:00
-
9 - Dictionnaires
-
打开： 2024年10月7日 星期一 00:00
-
-
-
10 - Listes (fonctions fold)
-
打开： 2024年10月7日 星期一 00:00
-
12- Tris
-
-
打开： 2024年10月7日 星期一 00:00
-
-
Annales
-