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 (4)

Corsi relativi

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

28 ore

Advanced Java Security

21 ore

Combined JAVA, PHP and Web Application Security

28 ore

Standard Java Security

14 ore

Java and Web Application Security

21 ore

Advanced Java, JEE and Web Application Security

28 ore

Categorie relative