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


Début

Fin


Dates are subject to availability and take place between 09:30 and 16:30.
Les formations ouvertes requièrent plus de 3 participants.

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