Lectures

• Lecture 1 [md] [web] [Seminar] [YouTube Lecture] [YouTube Seminar]
  • Functions
  • Pattern matching
  • Product types
  • Where
  • Sum types
  • Lambdas
  • Functions of multiple arguments
  • Currying
  • Lists
  • Quicksort
  • Parametric polymorphism in structures
• Lecture 2 [md] [web] [Seminar] [YouTube Lecture] [YouTube Seminar]
  • Record syntax
  • Typeclasses
  • Typeclass instances
  • Case
  • Polymorphic typeclass instances
  • Monoid typeclass
  • fold
  • Deriving
  • Type synonyms
  • Error handling
    • Maybe
    • Either
  • Functor
  • Alternative
• Lecture 3 [md] [web] [Seminar] [YouTube Lecture][YouTube Seminar]
  • Monad
  • Reader
  • do syntax
  • mapM
  • State
  • Applicative
• Lecture 4 [md] [web]
  • Transformers
    • MonadState
    • MonadError
    • Compose
    • StateT
    • ExceptT
    • MonadTrans
  • Read
  • IO
  • MonadIO