/course-plan

📜 Haskell course info, plan, video lectures, slides

Mozilla Public License 2.0MPL-2.0

course-plan

Haskell and Functional Programming course for complete beginners.

👩‍🏫 The course was created in 2022 but it's still active and constantly improving.

Course learning materials comprises:

The course is entirely free and includes two particularly interesting features:

  • 🆙 Review of your solutions to exercises!
  • 📜 A certificate after successful completion!

You can solve exercises, and I'm (Dmitrii Kovanikov) going to provide review to your solutions, suggesting improvements and alternative ways to solve tasks using idiomatic FP.

Below you can find the plan of each individual lecture with the corresponding links to learning materials.

🏡 Lecture 1: Fundamentals

  • What is Functional Programming?
  • FP concepts
  • Haskell features
  • Haskell toolchain: GHC, GHCi, ghcup, cabal, hls
  • How to install Haskell?
  • GHCi
    • Arithmetic expressions
    • Comparison operators
    • Boolean expressions
    • Calling functions
  • Types
    • :t command in GHCi
    • Types of booleans, numbers and functions
  • Lists and operations with them
    • Prepending, concatenation
    • Standard list functions
    • Ranges
  • Laziness
  • String
  • Syntax constructions
    • Defining our own functions
    • packages, modules, imports
    • if-then-else
    • guards
    • let-in
    • where
  • Immutability
  • Recursion
  • Higher-Order Functions (HOF)
    • Functions as first-class values
    • Lambda functions
    • Partial application
    • map, filter, etc.

🎞 Slides: https://slides.com/haskellbeginners2022/lecture-1

📽 Video: Haskell Beginners 2022: Lecture 1

🏗 Lecture 2: Data types

  • Pattern-matching
    • Top level
    • case-of
    • List patterns
    • Recursion and pattern matching
    • Pattern matching pitfalls
  • Totality
  • Tuples
  • Algebraic Data Types
    • Product types
    • Sum types
  • Data types in Haskell
    • data
    • Simple product types
    • Records
    • Enumerations
    • Simple sum types
    • Recursive data types
    • type
    • newtype
  • Polymorphism
    • Parametric polymorphism
    • Types of standard functions
    • Hoogle
    • Polymorphic data types
    • Standard polymorphic data types
  • Eta-reduction
  • Function composition: dot operator (.)

🎞 Slides: https://slides.com/haskellbeginners2022/lecture-2

📽 Video: Haskell Beginners 2022: Lecture 2

🎮 Lecture 3: Typeclasses

  • Parametric polymorphism vs Ad-hoc polymorphism
  • Typeclasses
    • class
    • instance
    • Default methods
    • {-# MINIMAL #-}
    • Small typeclasses vs Big typeclasses
  • Language Extensions
    • {-# LANGUAGE InstanceSigs #-}
  • Standard typeclasses
    • Eq
    • Haskell Equality Table
    • Ord
    • Num
  • deriving
    • Stock derivable typeclasses
    • {-# LANGUAGE GeneralizedNewtypeDeriving #-}
  • Algebraic typeclasses
    • Semigroup
    • Monoid
    • Laws
  • Kinds
  • Functor
  • Folds
    • foldr
    • foldl
    • foldl'
    • foldr vs foldl'
    • Foldable
  • Strict and Lazy evaluation
    • Lazy evaluation
    • Tail Call Optimization (TCO)
    • Equational reasoning
    • {-# LANGUAGE BangPatterns #-}

🎞 Slides: https://slides.com/haskellbeginners2022/lecture-3

📽 Video: Haskell Beginners 2022: Lecture 3

🔈🎤 Lecture 4: Monads and IO

  • Monad example
    • andThen for Maybe, Either and list
  • Monad as programming pattern
  • Monad
    • The typeclass
    • Instances
    • Laws
    • Usage example
  • FAMily: Functor, Applicative, Monad
  • Purity
  • Why Purity + Laziness is a problem for side effects?
  • IO
    • Why does IO require a monad?
    • String vs IO String
    • getLine
    • putStrLn
    • Main and main
  • Then operator: >>
  • do-notation
  • Cabal
    • Packages
    • build-depends
  • Functional Core, Imperative Shell

🎞 Slides: https://slides.com/haskellbeginners2022/lecture-4

📽 Video: Haskell Beginners 2022: Lecture 4

What's next?

After you've finished the course, you may be interested in the following resources to continue your FP and Haskell journey:

  • Haskell Knowledge Map: To discover new topics for studying and find your unique learning path 🗺
  • Learn Haskell by building a blog generator: A project-based course that teaches pragmatic Haskell by building a blog generator from scratch.
  • Haskell in Depth: A book about intermediate Haskell topics such as Monad Transformers, metaprogramming, testing, logging and performance analysis.
  • Functional Design and Architecture : Design patterns and architectures for building production quality applications using functional programming, with examples in Haskell and other FP languages.
  • Haskell Study Plan: More links on different topics and examples to real-world Haskell projects.

History

Below is the link to the original course announcement: