Advanced Haskell Training Cursus

Basistypeclassopedia

• Functie
• Toepassing
• Opvouwbaar, doorkruisbaar
• Monaden
• Anders (pijl, enz.)

Geavanceerde typen

• Algebraïsche gegevenstypen diepgaand
• Geavanceerde typeklassen
• Typ gezinnen
• GADT's

Debuggen en code optimaliseren

• Striktheid in gegevenstypen en functies
• Geheugen- en CPU-profilering
• Efficiënte datastructuren (bytestring, tekst, vector en co.)
• Opmerking over "onveilige"

Het Runtime-systeem begrijpen

• Geheugenindeling in GHC
• Uitpakken van strikte velden
• Kern begrijpen en lezen

Gelijktijdigheid in Haskell

• Haskell discussies
• MVars en co.
• STM
• Parallellisme

Buitenlandse functie-interface

• FFI-basisprincipes
• Veilig versus onveilig
• Globalen in Haskell

Sjabloon Haskell

• Verbinden en offerte
• De Q-monade
• Reïficatie