Schulungsübersicht

Grundlegende Typenklassopädie

  • Funktor
  • Anwendbar
  • Faltbar, überquerbar
  • Monaden
  • Andere (Pfeil, etc.)

Fortgeschrittene Typen

  • Algebraische Datentypen in der Tiefe
  • Fortgeschrittene Typklassen
  • Typ-Familien
  • GADTs

Fehlersuche und Code-Optimierung

  • Striktheit in Datentypen und Funktionen
  • Speicher- und CPU-Profiling
  • Effiziente Datenstrukturen (Bytestring, Text, Vektor und Co.)
  • Hinweis auf "unsafes"

Verstehen des Laufzeitsystems

  • Speicherlayout in GHC
  • Strict-Felder auspacken
  • Verstehen und Lesen von Core

Gleichzeitigkeit in Haskell

  • Haskell Threads
  • MVars und Co.
  • STM
  • Parallelität

Fremde Funktionsschnittstelle

  • FFI-Grundlagen
  • Sicher vs. unsicher
  • Globale in Haskell

Schablone Haskell

  • Spleißen und Zitieren
  • Die Q-Monade
  • Reifizierung

Voraussetzungen

Grundkenntnisse der Haskell-Programmiersprache und einige Erfahrung mit der Haskell-Programmierung.

  14 Stunden
 

Teilnehmerzahl


Beginnt

Endet


Die Termine sind abhängig von der Verfügbarkeit und finden zwischen 09:30 und 16:30 statt.
Offene Schulungskurse erfordern mindestens 5 Teilnehmer.

Erfahrungsberichte (4)

Kombinierte Kurse

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

  28 Stunden

Advanced Java Security

  21 Stunden

Combined JAVA, PHP and Web Application Security

  28 Stunden

Standard Java Security

  14 Stunden

Java and Web Application Security

  21 Stunden

Advanced Java, JEE and Web Application Security

  28 Stunden

Verwandte Kategorien