OCaml - Avancé
- Durée
- Durée :2 jours
- Niveau
- Niveau :Intermédiaire
- Certification
- Certification :Non
Intra uniquement
Aucune session prévue
OCaml Programmation fonctionnelle avec OCaml
Programme 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.
Introduction aux langages fonctionnelle et à OCaml
Qu’est-ce que la programmation fonctionnelle ?
Comparaison avec la programmation impérative
Les langages fonctionnels
Les environnements de développement
Bases du langage OCaml
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ï…
Eléments impératifs avec OCaml
Exécution séquentielle de code
Valeurs mutables, boucles
Entrées et sorties
Gestion des exceptions
Techniques avancées en OCaml
Architecture d’un projet, modules
Bibliothèque standard
Foncteurs / généricité
Programmation orientée objets
Interopérabilité avec une bibliothèque C
Application : calculatrice en ligne de commande
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 :
- 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.
Date de mise à jour du programme : 24/09/2025
Dates et lieux
Période souhaitée
Lieux
Type d'affichage