- Durée
- 2 jours
- Niveau
- Intermédiaire
- Modalités
- Distanciel
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.
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
Objectifs opérationnels
Savoir tirer parti des fonctionnalités avancées du langage OCaml tout en écrivant du code compact et efficace.
Programme
Contenu du cours, module par module
9 modules
- Échauffement : vocabulaire (accumulateur et continuation)
- Structure de données persistante
- Exécution paresseuse
- FIFO persistante
- Bibliographie
- 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)
- Définition de foncteurs (définition, exemple, signatures, applications)
- Modules de première classe
- Code Review : OCamlGraph
- 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)
- Arguments labellés et optionnels
- Variants polymorphes
- Utilisation avancée
- Définition
- Typage
- Utilisation avancée
- Représentation uniforme des données
- Ramasse miettes (GC)
- Interface bas-niveau avec C
- Génération automatique
- Le compilateur optimisant
- Le manuel d'optimisations
- Les outils de débuggage et de profilage
Travaux pratiques
Les travaux pratiques représentent 50% du temps de formation.
Programme mis à jour le 18/03/2024
Public concerné
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.
Faire le testFinancement
Cette formation peut être prise en charge par votre entreprise, seule ou avec l’appui de son opérateur de compétences. Nous fournissons le devis et les pièces attendues par l’OPCO.
Formations liées
- OCaml Programmation fonctionnelle avec OCamlRéf. PROC3 joursIntermédiaireProchaine session : 12 oct.2 090 €
- OctoPerfRéf. OCTO2 joursIntermédiaireProchaine session : 7 déc.1 590 €
- Optimisation et Profiling des applications Java avec JProfilerRéf. JPOJ3 joursIntermédiaireProchaine session : 9 nov.2 090 €
- Optimisation PHPRéf. IPHR4 joursAvancé