Haskell Type System with Dzmitry Ivashnev.

Agenda:

• Basics

• Installation

• Type notation

• Algebraic Data Types

• Type classes

• Jargon moment

• Monads

• (Not so) real life usage