OCaml

OCaml Débutant

Des bases solides en programmation fonctionnelle avec OCaml

3 jours
Durée
Sur site ou à distance
Modalités
50%
Pratique
Aperçu

À propos de ce cours

Description

Une formation initiale de 3 jours donnant des bases solides en programmation OCaml. Elle met l'accent sur les fonctionnalités du langage permettant de développer rapidement des logiciels robustes grâce au système de types puissant d'OCaml. Conçue pour des développeurs ayant déjà une expérience des langages impératifs, elle couvre à la fois le langage et les outils de développement.

À qui s'adresse cette formation ?

Vous souhaitez adopter OCaml pour de nouveaux projets ou monter en compétence sur la programmation fonctionnelle afin d'améliorer la fiabilité du code et la productivité de vos développeurs.

Développeurs logicielsIngénieurs en transition vers la programmation fonctionnelle
Objectifs

Ce que vous allez apprendre

01

Compiler et tester des programmes en local

02

Écrire du code OCaml idiomatique

03

Choisir les structures de données adaptées à chaque cas d'usage

04

Exploiter l'écosystème OCaml et les contributions de la communauté

Programme

Plan de la formation

01

Introduction à OCaml

  • Caractéristiques, avantages et performance du langage
  • Historique, paradigmes et panorama de l'écosystème
02

Environnement et outillage

  • Mise en place du gestionnaire de paquets Opam
  • Interpréteur REPL, compilateurs (bytecode, natif, JavaScript)
  • Configuration de l'éditeur et flux de développement
03

Fondamentaux du langage

  • Structure de base d'un programme, définitions et structures de contrôle
  • Types de données prédéfinis et primitives
  • Boucles, fonctions de première classe, filtrage par motif, exceptions
04

Types de données et bibliothèque standard

  • Types personnalisés : alias, enregistrements, types algébriques, récursivité, polymorphisme
  • Composants de la bibliothèque standard
  • Inférence de types et algorithmes d'unification
Infos pratiques

Avant de vous inscrire

Prérequis

  • Solides bases en algorithmique
  • Expérience d'au moins un langage de programmation (C, C++, Python, Java, etc.)

Format

  • Sur site ou à distance
  • 3–10 participants
  • 50% exercices pratiques
  • Horaires : 9h30 - 17h30

Financement

  • Certifié Qualiopi
  • Éligible OPCO
  • Sessions sur demande sous 2 mois
  • Accessibilité PMR et adaptations possibles
Instructeurs

Vos formateurs

Pierre Chambart

Membre de l'équipe cœur du compilateur OCaml, spécialiste de la génération de code optimisé.

Vincent Laviron

Spécialiste du compilateur Flambda et membre de l'équipe cœur d'OCaml.

S'inscrire

Cette formation vous intéresse ?