Merci d'avoir envoyé votre demande ! Un membre de notre équipe vous contactera sous peu.
Merci d'avoir envoyé votre réservation ! Un membre de notre équipe vous contactera sous peu.
Plan du cours
Typeclassopédie de base
- Functeur
- Applicatif
- Pliable, Traversable
- Monades
- Autres (flèche, etc.)
Types avancés
- Les types de données algébriques en profondeur
- Classes de types avancées
- Familles de types
- GADTs
Débogage et optimisation du code
- Rigueur dans les types de données et les fonctions
- Profilage de la mémoire et de l'unité centrale
- Structures de données efficaces (bytestring, texte, vecteur et autres)
- Note sur les "unsafes
Comprendre le système d'exécution
- Disposition de la mémoire dans GHC
- Décompression des champs stricts
- Comprendre et lire Core
Concurrence dans Haskell
- Haskell threads
- MVars et co.
- STM
- Parallélisme
Interface des fonctions étrangères
- Principes de base de l'interface de fonction étrangère
- Sûreté et non-sûreté
- Globaux dans Haskell
Modèle Haskell
- Épissage et citation
- La monade Q
- Réification
Pré requis
Connaissance de base du langage de programmation Haskell et expérience de la programmation Haskell.
14 Heures
