Programmation fonctionnelle en OCaML

Cours : Programmation fonctionnelle en OCaML | Plateforme pédagogique de l'université de Bordeaux

• Général

  • Sélectionner l’activité Forum de discussion pour l'UE Programmation Fonctionnelle en OCaML

    

    Forum de discussion pour l'UE Programmation Fonctionnelle en OCaML
  • Sélectionner l’activité Annonces pour l'UE Programmation Fonctionnelle en OCaML

    

    Annonces pour l'UE Programmation Fonctionnelle en OCaML Forum
• 

  Tout ouvrir

  Tout fermer

  
• 

  Instruction : un clic sur le titre de la section affiche ou masque cette section

  

• Organisation

  • Sélectionner l’activité Emploi du temps

    

    Emploi du temps URL

• Ressources

  • Sélectionner l’activité Polycopié du cours

    

    Polycopié du cours Fichier
  • Sélectionner l’activité Tous les transparents

    

    Tous les transparents Fichier
  • Sélectionner l’activité Annales de devoirs surveillés

    

    Annales de devoirs surveillés Dossier
  • Sélectionner l’activité Annales d'examen

    

    Annales d'examen Dossier
  • Sélectionner l’activité Memo Installation Opam

    

    Memo Installation Opam Page
  • Sélectionner l’activité Memo paramétrage Visual Studio Code

    

    Memo paramétrage Visual Studio Code Page
  • Sélectionner l’activité Polycopié Claude Marché et Ralph Treinen

    

    Polycopié Claude Marché et Ralph Treinen Fichier
  • Sélectionner l’activité Bibliographie

    

    Bibliographie Page
  • Sélectionner l’activité Memo VS Code

    

    Memo VS Code Page
  • Sélectionner l’activité Memo Doom Emacs

    

    Memo Doom Emacs Page
  • Sélectionner l’activité Memo Emacs

    

    Memo Emacs Page

• Bibliothèque sur les graphes

  • Sélectionner l’activité Algorithmes sur les graphes

    

    Algorithmes sur les graphes Sondage

    Ouvert : mardi 7 octobre 2025, 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.

  • Sélectionner l’activité Bibliothèque sur les graphes

    

    Bibliothèque sur les graphes Dossier

• Cours

  • Sélectionner l’activité Cours 1 du lundi 01 septembre 2025 9:30 - 10:50

    

    Cours 1 du lundi 01 septembre 2025 9:30 - 10:50 Dossier
  • Sélectionner l’activité Cours 2 du mercredi 03 septembre 2025 09:30 - 10:50

    

    Cours 2 du mercredi 03 septembre 2025 09:30 - 10:50 Dossier
  • Sélectionner l’activité Cours 3 du mardi 9 septembre 2025 11:00 - 12:20

    

    Cours 3 du mardi 9 septembre 2025 11:00 - 12:20 Dossier
  • Sélectionner l’activité Cours 4 du mardi 16 septembre 2025 11:00 - 12:20

    

    Cours 4 du mardi 16 septembre 2025 11:00 - 12:20 Dossier
  • Sélectionner l’activité Cours 5 du mardi 23 septembre 2025 11:00 = 12:20

    

    Cours 5 du mardi 23 septembre 2025 11:00 = 12:20 Dossier
  • Sélectionner l’activité Cours 6 du mardi 7 octobre 2025 11:00 - 12:20

    

    Cours 6 du mardi 7 octobre 2025 11:00 - 12:20 Dossier
  • Sélectionner l’activité Cours 7 du mardi 21 octobre 2025 11:00 - 12:20

    

    Cours 7 du mardi 21 octobre 2025 11:00 - 12:20 Dossier
  • Sélectionner l’activité Liens vers vidéos des cours de 2020-2021

    

    Liens vers vidéos des cours de 2020-2021 Page

• 1-Expressions

  • Sélectionner l’activité Feuille 1 - Premiers pas, expressions

    

    Feuille 1 - Premiers pas, expressions Fichier

• 2-Fonctions

  • Sélectionner l’activité Feuille 2 - Premières fonctions, récursivité

    

    Feuille 2 - Premières fonctions, récursivité Fichier
  • Sélectionner l’activité Rendu feuille 2

    

    Rendu feuille 2 Devoir

    À rendre : vendredi 3 octobre 2025, 21:00

• 3-Types et inférence de type

  • Sélectionner l’activité Feuille 3 - Types

    

    Feuille 3 - Types Fichier
  • Sélectionner l’activité Rendu feuille 3

    

    Rendu feuille 3 Devoir
  • Sélectionner l’activité Feuille 3bis

    

    Feuille 3bis Fichier PDF

    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.

    40.4 Ko · Déposé le 9 sept. 25, 09:43
  • Sélectionner l’activité Rendu feuille 3bis

    

    Rendu feuille 3bis Devoir

• 4- Application: plan complexe

  • Sélectionner l’activité Plan complexe

    

    Plan complexe Dossier

• 5- Application: zones géométriques

  • Sélectionner l’activité Application: zones géométriques (dune)

    

    Application: zones géométriques (dune) Dossier

    • 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
      
  • Sélectionner l’activité Application: zones géométriques (sans dune)

    

    Application: zones géométriques (sans dune) Dossier

    • 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
  • Sélectionner l’activité Correction Zones

    

    Correction Zones Fichier ML

    3.7 Ko · Déposé le 17 oct. 23, 14:07

• 6- Enregistrements, types récursifs, récursivité terminale

  • Sélectionner l’activité Feuille 6 - Enregistrements, types récursifs, récursivité terminale

    

    Feuille 6 - Enregistrements, types récursifs, récursivité terminale Fichier
  • Sélectionner l’activité Rendu feuille 6

    

    Rendu feuille 6 Devoir

    Ouvert le : lundi 6 octobre 2025, 00:00

• 7- Listes

  • Sélectionner l’activité Feuille 7:- Listes

    

    Feuille 7:- Listes Fichier
  • Sélectionner l’activité Rendu feuille 7

    

    Rendu feuille 7 Devoir

    Ouvert le : lundi 6 octobre 2025, 00:00

    À rendre : lundi 10 novembre 2025, 18:00

• 8- Application: Album photos

  • Sélectionner l’activité Feuille 8 - Album photos

    

    Feuille 8 - Album photos Fichier
  • Sélectionner l’activité Rendu feuille 8

    

    Rendu feuille 8 Devoir

    Ouvert le : lundi 6 octobre 2025, 00:00

    À rendre : vendredi 21 novembre 2025, 18:00

• 9 - Dictionnaires

  • Sélectionner l’activité Rendu feuille 9

    

    Rendu feuille 9 Devoir

    Ouvert le : mardi 7 octobre 2025, 00:00

    À rendre : vendredi 28 novembre 2025, 18:00
  • Sélectionner l’activité Feuille 9 - Dictionnaires

    

    Feuille 9 - Dictionnaires Fichier PDF

    51.6 Ko · Déposé le 6 nov. 25, 16:34

• 10 - Listes (fonctions fold)

  • Sélectionner l’activité Feuille 10 - Listes (fonctions fold)

    

    Feuille 10 - Listes (fonctions fold) Fichier
  • Sélectionner l’activité Rendu feuille 10

    

    Rendu feuille 10 Devoir

    Ouvert le : mardi 7 octobre 2025, 00:00

    À rendre : jeudi 4 décembre 2025, 18:00

• 11- Efficacité

  • Sélectionner l’activité Feuille 11 - Efficacité

    

    Feuille 11 - Efficacité Fichier
  • Sélectionner l’activité Rendu feuille 11

    

    Rendu feuille 11 Devoir

    Ouvert le : mardi 4 novembre 2025, 00:00

    À rendre : vendredi 12 décembre 2025, 15:24

• 12- Tris

  • Sélectionner l’activité Feuille 12 - Tris

    

    Feuille 12 - Tris Fichier PDF

    56.9 Ko · Modifié 6 nov. 25, 16:36
  • Sélectionner l’activité Rendu feuille 12

    

    Rendu feuille 12 Devoir

    Ouvert le : mardi 4 novembre 2025, 00:00

    À rendre : vendredi 19 décembre 2025, 18:00

• Annales TP noté

  • Sélectionner l’activité TP Noté 2021-2022

    

    TP Noté 2021-2022 Fichier PDF

    46.9 Ko · Déposé le 6 déc. 24, 11:06
  • Sélectionner l’activité student.ml TP noté 2021-2022

    

    student.ml TP noté 2021-2022 Fichier ML

    719 octets · Déposé le 6 déc. 24, 11:09

• Cours 2024-2025