- Durée
- 3 jours
- Niveau
- Intermédiaire
- Modalités
- Présentiel / Distanciel
Description de la formation OCaml
Cette formation est consacrée à la programmation fonctionnelle avec le langage OCaml. Elle aborde les principes du paradigme fonctionnel, l’application partielle et la curryfication, les types tuples, unions et enregistrements ainsi que le pattern matching et la récursivité terminale.
Les participants découvrent également les éléments impératifs du langage, l’organisation d’un projet en modules et foncteurs, la programmation orientée objet, ainsi que l’interopérabilité avec C et l’écriture d’un parseur.
Objectifs pédagogiques
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.
Programme
Contenu du cours, module par module
5 modules
- Qu’est-ce que la programmation fonctionnelle ?
- Comparaison avec la programmation impérative
- Les langages fonctionnels
- Les environnements de développement
- Les fonctions : application partielle, curryfication, évaluation paresseuse
- Les types : tuples, unions, enregistrements, listes
- Pattern matching
- Fonctions récursives, récursivité terminale
- Exemples : suite de Fibonacci, tours d’Hanoï…
- Exécution séquentielle de code
- Valeurs mutables, boucles
- Entrées et sorties
- Gestion des exceptions
- Architecture d’un projet, modules
- Bibliothèque standard
- Foncteurs / généricité
- Programmation orientée objets
- Interopérabilité avec une bibliothèque C
- Exemple : à partir de la chaîne de caractère « (61 + 2) * 7 », calculer la valeur 441.
- Principe de fonctionnement d’un parseur
- Analyse lexicale, analyse syntaxique
Programme mis à jour le 24/09/2025
Public concerné
Ce stage s’adresse aux développeurs experts et aux data scientists ainsi qu'aux développeurs d’applications non graphiques.
Prérequis
Les participants doivent disposer des connaissances suivantes :
- Connaitre un langage de programmation structuré ou objet (comme C, C++, C#, Java…).
- Des concepts de programmation orientée objet (classe, méthode, héritage…).
- Quelques notions d’algorithmique (récursivité…). Des rappels seront faits.
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
- Optimisation et Profiling des applications Java avec JProfilerRéf. JPOJ3 joursIntermédiaireProchaine session : 23 nov.2 090 €
- Optimisation PHPRéf. IPHR4 joursAvancé
- Oracle SOA Suite 11g : Mise en œuvre des applications SOARéf. DOSO5 joursIntermédiaire
- Perfectionnement en Langage CRéf. DPLC5 joursAvancé