Formation OCaml Programmation fonctionnelle avec OCaml

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.

Public :

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.

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