Lamiae
Sommaire: Programmation fonctionnelle avancée
I-Structures de données et algorithmes
1.Partage et copie
2.Files (FIFO)
3.Flux (streams)
4.Tableaux et chaînes de caractères
-Tableaux extensibles
-Tableaux fonctionnels de Paulson
-Buffer
-Cordes (Ropes)
5.Zipper
-Exemple sans zipper : les listes doublement chaînées
-Zipper des listes
-Zipper des arbres
6.Paresse (laziness)
7.Utilisation de la paresse pour améliorer le coût
II-Concurrence
1.Threads préemptifs
-Création et lancement d’un thread en OCaml
-Synchronisation
2.Communication entre threads
-Mémoire partagée
-Passage de messages
3.Threads coopératifs avec Lwt
-Les threads coopératifs
-Principe général de Lwt
-Le module Lwt_unix
-Syntaxe
-Exemples
-Exceptions
-Utiliser des fonctions non coopératives
-Exemple
…….
