course-plan

Haskell and Functional Programming course for complete beginners.

⚠️ The course authors no longer provide reviews of the solutions. However, all the learning materials are free and publicly available. You can learn Haskell on your own or with the help of others.

Course learning materials comprise:

The course is entirely free!

Below you can find the plan for 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: