Programmation fonctionnelle en OCaML 2019-2020

Τμήμα

• Γενικά

  • Annonces pour l'UE Programmation Fonctionnelle en OCaML Φόρουμ
  • Forum de discussion pour l'UE Programmation Fonctionnelle en OCaML Φόρουμ
• 

  Εμφάνιση όλωνΚλείσιμο όλων

  
• 

  Οδηγίες: Πατώντας πάνω στο όνομα του τμήματος θα εμφανιστεί/κρυφτεί το τμήμα.

  

• Ressources

  Bibliographie: Programmation fonctionnelle générique et objet. Une introduction avec le langage OCaml. Philippe Narbel. Vuibert.
  

  • Memo Emacs Σελίδα
  • Polycopié Claude Marché et Ralph Treinen Αρχείο
  • Transparents des cours magistraux 2018-2019 Φάκελος
  • Polycopié du cours Αρχείο
  • Developing applications with Objective CaML Διεύθυνση URL
  • Annales de devoirs surveillés Φάκελος
  • Annales d'examen Φάκελος
  Θέμα
  1
• Organisation

  Chaque semaine sur 12 semaines: 1 cours intégré (groupe entier) suivi de 1 TD machine (2/3 de groupe)
  

  Contrôle continu: 1 Devoir surveillé de 1h20 (40%) , 1 TP noté 40%, exercices en ligne sur Moodle (20%)

  Examen 1h30

  Note session1: 0.5 EX1 + 0.5 CC

  Note session2: 0.5 EX2 + 0.5 CC
  

  
  
  Θέμα
  2
• Expressions

  • Feuille 1 - Premiers pas, expressions Αρχείο
  Θέμα
  3
• Fonctions

  • Feuille 2 - Premières fonctions, récursivité Αρχείο
  Θέμα
  4
• Types et inférence de type

  • Feuille 3 - Types Αρχείο
  Θέμα
  5
• Application: zones géométriques

  • Feuille 4 - Zones géométriques Αρχείο
  • Article de Paul Hudak et Mark P. Jones Αρχείο
  • Archive pour Zones Géométriques Αρχείο

    Désarchiver l'archive Zones.zip dans le répertoire associé au cours.

    Se placer dans le répertoire Zones et effectuer les commandes indiquées dans le fichier README.

    Compléter le fichier zones.ml.

    Pour  visualiser une zone, compiler le fichier visu-zones.ml et appeler la fonction view_zone zone.

    
    

    Pour ceux qui ne travaillent pas avec Emacs:

    lancer ocaml

    # #use "zones.ml"

    # #use "visu-zones.ml"

    # view_zone (make_disk0 20.)

    
    
  Θέμα
  6
• Types récursifs

  • Feuille 5 - Types récursifs Αρχείο
  Θέμα
  7
• Listes

  • Feuille 6 - Listes Αρχείο
  Θέμα
  8
• Application: Album photos

  • Feuille 7 - Album photos Αρχείο
  Θέμα
  9
• Efficacité

  • Feuille 8 - Efficacité Αρχείο
  Θέμα
  10
• Arbres

  • Feuille 9 - Arbres Αρχείο
  • En bonus, le sujet de projet 2016-17 proposé en programmation fonctionnelle. Pour les élèves intéressés, c'est une bonne occasion de travailler OCaml et la récursivité tout en affrontant valeureusement des hydres (et avoir le sentiment du devoir accompli).
    
    Ci-joint, le sujet lui même plus le fichier hydra_battle.ml qui contient les fonctions déjà écrites.
    

    • Bonus - Hydres
      • hydra_dm.pdf
      • hydra.tar.gz

    Λήψη φακέλου
  Θέμα
  11
• TP noté du mercredi 11/12/2019

  • Sujet Αρχείο
  • Archive fournie Αρχείο
  • Solutions Φάκελος
  Θέμα
  12
• TP Noté du Jeudi 12/12/2019

  • Sujet Αρχείο
  • Archive NOM-PRENOM Αρχείο
  Θέμα
  13
• Archives
  Θέμα
  14