Visão Geral

Curso Haskel Advanced, Este curso é para aqueles usuários de Haskell que têm uma boa compreensão do básico e desejam uma compreensão mais profunda da linguagem e ser capazes de resolver problemas sérios e de maior escopo em Haskell.

Os participantes devem esperar obter uma compreensão prática dos recursos mais importantes do Haskell moderno; ser capaz de ler e escrever programas e bibliotecas avançados de Haskell.

Objetivo

Curso Haskel Advanced

Pre-Requisitos

Conhecimento básico da linguagem de programação Haskell e alguma experiência com programação Haskell.

Materiais

Conteúdo Programatico

Basic Typeclassopedia

1. Functor
2. Applicative
3. Foldable, Traversable
4. Monads
5. Other (Arrow, etc.)

Advanced types

1. Algebraic data types in depth
2. Advanced Type classes
3. Type families
4. GADTs

Debugging and code optimizing

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

Understanding the Runtime System

1. Memory layout in GHC
2. Unpacking strict fields
3. Understanding and reading Core

Concurrency in Haskell

1. Haskell threads
2. MVars and co.
3. STM
4. Parallelism

Foreign Function Interface

1. FFI basics
2. Safe vs. unsafe
3. Globals in Haskell

Template Haskell

1. Splicing and quotation
2. The Q monad
3. Reification