En navigant sur ce site, vous acceptez l’utilisation de cookies ou autres traceurs vous permettant une utilisation optimale du site (partages sur les réseaux sociaux, statistiques de visite, etc.)
NEW

Introduction à la programmation fonctionnelle en Haskell

Description

Au cours des dernières années, la programmation fonctionnelle est devenue un paradigme incontournable. Un nombre croissant de langages de programmation intègrent des “capacités” fonctionnelles (fermetures, composition de fonction par exemple), et certains framework, tels que rx, sont entièrement fondés sur ce modèle.


Les enjeux sont importants. En effet, l’approche fonctionnelle permet d’écrire un code à la fois plus sûr, plus clair et plus modulaire.


Cette formation d’initiation à la programmation fonctionnelle, vous propose de vous familiariser avec ses concepts clés, tels que transparence référentielle (fonctions pures), immutabilité, fonctions d’ordre supérieur (Higher order functions), fermetures, types de données ou encore pattern Matching. Elle vous permettra également d’apprendre les bases de Haskell, langage-étendard de la programmation fonctionnelle.

Objectifs pédagogiques

  • Découvrir le paradigme de la programmation fonctionnelle (FP : Functional Programming)
  • Reconnaître des patterns de programmation fonctionnelle et les mettre en œuvre
  • Se lancer dans l’apprentissage du langage Haskell
  • Enrichir sa culture de programmation avec des concepts de programmation fonctionnelle utilisables dans tous les langages

Public cible

  • Développeurs de tous niveaux, sans expérience de la programmation fonctionnelle.

Pré-requis

Expérience de base du développement de logiciel.

Méthode pédagogique

Formation avec apports théoriques, échanges sur les contextes des participants et retours d’expérience pratique du formateur, complétés de travaux pratiques et de mises en situation.

PROFILS DES INTERVENANTS

Toutes nos formations sont animées par des consultants-formateurs expérimentés et reconnus par leurs pairs.

MODALITÉS D'ÉVALUATION ET FORMALISATION À L'ISSUE DE LA FORMATION

L'évaluation des acquis se fait tout au long de la session au travers des ateliers et des mises en pratique. Une évaluation à chaud sur la satisfaction des stagiaires est réalisée systématiquement en fin de session et une attestation de formation est délivrée aux participants mentionnant les objectifs de la formation, la nature, le programme et la durée de l'action de formation ainsi que la formalisation des acquis.

FORMALISATION A L'ISSUE DE LA FORMATION

L'évaluation des acquis se fait tout au long de la session au travers des ateliers et des mises en pratique. Une évaluation à chaud sur la satisfaction des stagiaires est réalisée systématiquement en fin de session et une attestation de formation est délivrée aux participants mentionnant les objectifs de la formation, la nature, le programme et la durée de l'action de formation ainsi que la formalisation des acquis.

Programme :

Jour 1

  • Guides de survie
    • Ghci
    • Stack
  • Notation des types en Haskell
  • Fonctions
    • Définition générale
    • Fonction pure
    • Effets de bord
    • Transparence référentielle
  • Immutabilité
  • Composition de fonctions
  • Fonctions à l’ordre supérieur
  • Types
    • Définition générale
    • Garantie d’expressions valides
    • Outil de conception
  • Types algébriques
    • Types sommes
    • Types produits
  • Wrap up de fin de journée

Jour 2

  • Pattern matching
    • Cas d’usage
    • Cases
    • Guards
    • Totalité des fonctions
  • Types paramétrés
    • Richesse sémantique
    • Type Maybe
    • Polymorphisme
    • Foncteur
    • Enchainer des fonctions dans un foncteur
    • Lier des fonctions via bind
  • Bilan et clôture de la formation

Pour aller plus loin :

Type : Stage pratique en présentiel
Code formation : HASKE
Durée : 2 jours (14 heures)

Sessions inter-entreprises :

Tarif & dates intra-entreprise :
Devis sur demande
Nous Contacter