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


Data Inizio

Data Fine


Le date sono soggette a disponibilità e si svolgono tra le 09:30 e le 16:30.

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