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

Související kurzy

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

  28 hodiny

Advanced Java Security

  21 hodiny

Combined JAVA, PHP and Web Application Security

  28 hodiny

Standard Java Security

  14 hodiny

Java and Web Application Security

  21 hodiny

Advanced Java, JEE and Web Application Security

  28 hodiny

Související kategorie