Návrh Školení

Základní typclassopedia

    Functor Aplikativní Skládací, Traversovatelné Monády Jiné (šipka atd.)

Pokročilé typy

    Algebraické datové typy do hloubky Pokročilé třídy typů Typové rodiny GADT

Ladění a optimalizace kódu

    Přísnost v datových typech a funkcích Profilování paměti a CPU Efektivní datové struktury (bytstring, text, vektor a podobně) Poznámka k „nebezpečným“

Pochopení Runtime systému

    Rozložení paměti v GHC Rozbalení přísných polí Pochopení a čtení Core

Souběžnost v Haskell

    Haskell vlákna MVars and co. Paralelnost STM

Rozhraní cizích funkcí

    Základy FFI Safe vs. unsafe Globals v Haskell

Šablona Haskell

    Spojování a citace Reifikace Q monády

Požadavky

Základní znalost programovacího jazyka Haskell a určité zkušenosti s programováním Haskell.

 14 hodiny

Počet účastníků


Price per participant

Reference (1)

Upcoming Courses

Související kategorie