Course Outline

Basic Typeclassopedia

  • Functor
  • Applicative
  • Foldable, Traversable
  • Monads
  • Other (Arrow, etc.)

Advanced types

  • Algebraic data types in depth
  • Advanced Type classes
  • Type families
  • GADTs

Debugging and code optimizing

  • Strictness in data types and functions
  • Memory and CPU profiling
  • Efficient data structures (bytestring, text, vector and co.)
  • Note on "unsafes"

Understanding the Runtime System

  • Memory layout in GHC
  • Unpacking strict fields
  • Understanding and reading Core

Concurrency in Haskell

  • Haskell threads
  • MVars and co.
  • STM
  • Parallelism

Foreign Function Interface

  • FFI basics
  • Safe vs. unsafe
  • Globals in Haskell

Template Haskell

  • Splicing and quotation
  • The Q monad
  • Reification

Requirements

Basic knowledge of Haskell programming language and some experience with Haskell programming.

  14 Hours
 

Number of participants


Starts

Ends


Dates are subject to availability and take place between 09:30 and 16:30.
Open Training Courses require 5+ participants.

Testimonials (4)

Related Courses

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

  28 Hours

Advanced Java Security

  21 Hours

Combined JAVA, PHP and Web Application Security

  28 Hours

Standard Java Security

  14 Hours

Java and Web Application Security

  21 Hours

Advanced Java, JEE and Web Application Security

  28 Hours

Related Categories