OCaml
Optimisation de code OCaml
Maximisez la performance de vos applications grâce à une expertise au niveau du compilateur
2 jours
Durée
Sur site ou à distance
Modalités
50%
Pratique
Aperçu
À propos de ce cours
Description
Apprenez à maximiser la performance de vos applications OCaml en vous appuyant sur une expertise directe du développement du compilateur. Cette formation couvre les rouages internes du runtime, les optimisations du compilateur, les outils de profilage et les approches stratégiques d'optimisation.
À qui s'adresse cette formation ?
Vos applications OCaml ont besoin de meilleures performances et vous souhaitez comprendre le fonctionnement du compilateur et du runtime pour en tirer un maximum de vitesse.
Développeurs OCaml avancésIngénieurs performance
Objectifs
Ce que vous allez apprendre
Comprendre le fonctionnement du runtime OCaml
Maîtriser les optimisations du compilateur avec OCaml et Flambda2
Utiliser efficacement les outils de mesure de performance
Identifier stratégiquement les priorités d'optimisation
Programme
Plan de la formation
Architecture et runtime
- –Bases des architectures modernes
- –Rouages internes du runtime OCaml
Mécanique du compilateur
- –Pipeline d'optimisation du compilateur
- –Optimisations Flambda2
Profilage et mesure
- –Outils et méthodologie de profilage
- –Stratégies de benchmarking
Stratégies d'optimisation
- –Approches d'optimisation des performances
- –Algorithmes et structures de données pour OCaml
- –Planification d'un projet d'optimisation
Infos pratiques
Avant de vous inscrire
Prérequis
- –Connaissance intermédiaire d'OCaml
- –Bases intermédiaires 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
Instructeurs
Vos formateurs
Pierre Chambart
Ingénieur senior spécialiste de la génération de code optimisé.
Vincent Laviron
Expert en développement de compilateurs et optimisation.
S'inscrire