Maîtriser Opam pour OCaml
- Durée
- Durée :2 jours
- Niveau
- Niveau :Intermédiaire
- Certification
- Certification :Non
Intra uniquement
Aucune session prévue
OCaml - Avancé
Description de la formation OCaml Avance
Cette formation OCaml Avancé a été conçue pour permettre aux développeurs de tirer parti au maximum des fonctionnalités avancées du langage OCaml et de son système de types, tout en écrivant du code compact et efficace. La formation propose aussi un survol des outils et bibliothèques de la communauté, et des mises en pratique au travers de nombreux exercices.
Programme de la formation
Objectif opérationnel :
Savoir tirer parti des fonctionnalités avancées du langage OCaml tout en écrivant du code compact et efficace.
Objectifs pédagogiques :
À l'issue de cette formation OCaml Avancé vous aurez acquis les connaissances et les compétences nécessaires pour :
- Maîtriser les concepts avancés du système de types
- Pouvoir interfacer un programme OCaml avec une bibliothèque C
- Débugger et optimiser un programme en mémoire et en vitesse
- Écrire du code efficace et compact
Programmation fonctionnelle, trucs et astuces
Échauffement : vocabulaire (accumulateur et continuation)Structure de données persistante
Exécution paresseuse
FIFO persistante
Bibliographie
Le langage de modules et l'application de foncteur
Les modules Toplevel (unités sources, compilation séparée, interface, compilation, documentation)Abstraction (réécriture de structure et parties cachées, types abstraits et privés)
Le langage de module (modules locaux, signatures locales, exemple, abstraction, composition)
utilisation des foncteurs standards (application, Set et Map)
La langage de module avancé
Définition de foncteurs (définition, exemple, signatures, applications)Modules de première classe
Code Review : OCamlGraph
Les fonctionnalités orientées objet
Les objets (définition et appel de méthodes, types des objets, variables d'instance, fermeture d'objets, récursion)Les objets et le polymorphisme (types d'objets paramétriques, méthodes polymorphes, types récursifs, polymorphisme de rangée, coercions)
Les classes (classes vs objets immédiats, définition et interface, types de classes, classes paramétriques)
Les objets et le polymorphisme (héritage, méthodes privées, méthodes virtuelles et classes virtuelles)
Utilisation avancée (traits, méthodes amies, transtypage, mappers extensibles)
Variants polymorphes et labels
Arguments labellés et optionnelsVariants polymorphes
Utilisation avancée
Les types algébriques généralisés (GADT)
DéfinitionTypage
Utilisation avancée
Gestion mémoire
Représentation uniforme des donnéesRamasse miettes (GC)
Interopérabilité FFI
Interface bas-niveau avec CGénération automatique
Débuggage, profilage et optimisation
Le compilateur optimisantLe manuel d'optimisations
Les outils de débuggage et de profilage
Public cible :
Ce cours OCaml Expert s'adresse exclusivement aux développeurs.
Prérequis :
Pour suivre cette formation OCaml Avancé il est nécessaire d'avoir connaissances préalables d'OCalm. Vous pouvez les acquérir en suivant la formation OCaml programmation fonctionnelle avec OCaml (PROC).
J'évalue mes connaissances pour vérifier que je dispose des prérequis nécessaires pour profiter pleinement de cette formation en faisant le test de prérequis.
Date de mise à jour du programme : 18/03/2024