Formation OCaml - Avancé
Public admis
- Salarié en Poste
- Demandeur d'emploi
- Entreprise
- Etudiant
Financements
Eligible CPF Votre OPCO Financement personnel
Objectifs de la formation
À 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
| Tarif |
Contacter l'organisme |
| Durée | 2 jours (14h) |
| Modes |
|
| Sessions | |
| Lieux | Partout en France |
| Tarif |
Contacter l'organisme |
| Durée | 2 jours (14h) |
| Modes |
|
| Sessions | |
| Lieux | Partout en France |
Description
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
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
Prérequis
Public
Ces formations pourraient vous intéresser
Objectifs de la formation
Le langage OCaml est un langage fonctionnel créé par Xavier Leroy, chercheur à l’INRIA. Relevant du paradigme fonctionnel, le langage OCaml trouve son réel usage dans les traitements de données complexes pour lequel il déploie une expressivité sans pareil. Le langage OCaml est également orienté objets, s’intègre avec les bibliothèques C dispose de sa propre bibliothèque standard.
Vous découvrirez une autre approche de la programmation, dite fonctionnelle, plus élégante. Vous apprendrez les bases conceptuelles ainsi qu'une syntaxe particulière, et vous aborderez des notions comme l'immuabilité ou l'expression lambda. Puis, avant de finir sur un exemple concret (parseur), vous découvrirez les structures de contrôle et les types complexes, incontournables en langage fonctionnel.
Si vous êtes programmeur ou développeur et que vous souhaitez améliorer votre façon de programmer, tout en étant encore plus efficace, suivez cette formation.
| Tarif |
A partir de 1 860,00 € |
| Durée |
3j / 21h |
| Modes |
|
