Struttura del corso

Tipo di baseclassopedia

  • Funtore
  • Appropriato
  • Pieghevole, Attraversabile
  • Monadi
  • Altro (freccia, ecc.)

Tipi avanzati

  • Tipi di dati algebrici approfonditi
  • Classi di tipo avanzato
  • Famiglie di tipi
  • GADT

Debug e ottimizzazione del codice

  • Rigore nei tipi di dati e nelle funzioni
  • Profilatura della memoria e della CPU
  • Strutture dati efficienti (bytestring, text, vector e co.)
  • Nota sui "non sicuri"

Informazioni sul sistema di runtime

  • Layout della memoria in GHC
  • Decompressione dei campi rigorosi
  • Comprendere e leggere Core

Concorrenza in Haskell

  • Haskell discussioni
  • MVars e co.
  • STM
  • Parallelismo

Interfaccia funzione esterna

  • Nozioni di base su FFI
  • Sicuro vs. non sicuro
  • Globali in Haskell

Modello Haskell

  • Giunzione e quotazione
  • La monade Q
  • Reificazione

Requisiti

Conoscenza di base del linguaggio di programmazione Haskell e una certa esperienza con la programmazione Haskell.

 14 ore

Numero di Partecipanti


Prezzo per Partecipante

Recensioni (1)

Corsi in Arrivo

Categorie relative