OCaml - Avancé
- Durée
- Durée :2 jours
- Niveau
- Niveau :Intermédiaire
- Certification
- Certification :Non
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.
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
Public cible :
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 :
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.
Date de mise à jour du programme : 24/09/2025
OCaml - Avancé
Maîtriser Opam pour OCaml
Coq pour l'industrie
Ruby On Rails