OCaml Expert
Maîtrisez le système de types avancé, le FFI et l'optimisation des performances
À propos de ce cours
Description
Cette formation aide les développeurs OCaml expérimentés à exploiter les fonctionnalités avancées du langage et son système de types pour écrire un code compact et efficace. Elle comprend une présentation des outils, des bibliothèques de la communauté et de nombreux exercices pratiques.
À qui s'adresse cette formation ?
Votre équipe développe des applications OCaml et souhaite améliorer leur sûreté et leurs performances en maîtrisant les fonctionnalités avancées du langage.
Ce que vous allez apprendre
Maîtriser les concepts avancés du système de types
Interfacer des programmes OCaml avec des bibliothèques C
Déboguer et optimiser des programmes en mémoire et en vitesse
Plan de la formation
Programmation fonctionnelle avancée
- –Structures de données, évaluation paresseuse, files FIFO persistantes
- –Modules, foncteurs et abstraction
Modules avancés et POO
- –Définition de foncteurs et modules de première classe
- –Objets, classes, polymorphisme et héritage
Types avancés
- –Variants polymorphes et labels
- –Arguments nommés et optionnels
- –Types de données algébriques généralisés (GADT)
Exécution et FFI
- –Gestion mémoire et ramasse-miettes
- –Représentation interne des données
- –Interfaçage C bas niveau et génération automatique
Débogage et optimisation
- –Techniques d'optimisation du compilateur
- –Outils de profilage et mesure de performance
Avant de vous inscrire
Prérequis
- –Connaissance intermédiaire du langage OCaml
- –Bases avancées en informatique
Format
- Sur site ou à distance
- 3–10 participants
- 50% exercices pratiques
- Horaires : 9h30 - 17h30
Financement
- Certifié Qualiopi
- Éligible OPCO
- Sessions sur demande sous 2 mois
- Accessibilité PMR et adaptations possibles
Vos formateurs
Pierre Chambart
Membre de l'équipe cœur du compilateur OCaml, spécialiste de la génération de code optimisé.
Vincent Laviron
Expert en optimisation et compilation OCaml.