Programmation fonctionnelle en OCaML
Kursas: Programmation fonctionnelle en OCaML | Plateforme pédagogique de l'université de Bordeaux
-
Viską išskleisti
Viską sutraukti
-
Instrukcijos: Spragtelėjus ant dalies pavadinimo bus parodoma/paslepiama dalis.
-
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
-
Atidaroma: antradienis, 2024 spalio 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
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
3-Types et inférence de type
-
Atidaroma: pirmadienis, 2024 spalio 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.
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
5- Application: zones géométriques
-
- Lignes à rajouter dans votre fichier
.profile
pour 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.ml
dans le dossier - La visualisation ne fonctionnera que si
ImageMagick
est 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.ml
dans le dossier - Lire le fichier
README
- Télécharger et désarchiver l'archive
-
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
-
6- Enregistrements, types récursifs, récursivité terminale
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
8- Application: Album photos
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
7- Listes
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
9 - Dictionnaires
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
-
-
10 - Listes (fonctions fold)
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
11- Efficacité
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
12- Tris
-
-
Atidaroma: pirmadienis, 2024 spalio 7, 00:00
-
-
Annales
-