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

Nombre de participants



Prix par participant

Nos Clients témoignent (4)

Cours Similaires

Combined C/C++, JAVA and Web Application Security

28 heures

Advanced Java Security

21 heures

Combined JAVA, PHP and Web Application Security

28 heures

Standard Java Security

14 heures

Java and Web Application Security

21 heures

Advanced Java, JEE and Web Application Security

28 heures

Catégories Similaires