Programming Languages

En-0001-Haskell for beginners

Code: 7GJXMAU6Vendor: Coxygen GlobalFree subscription eligible

Professional Haskell training from language foundations through lambda calculus, recursion, type classes, functors, applicatives, monads, optics and formal verification.

Haskell / PlutusAllEnglish

Interactive English Haskell course adapted from the Coxygen Haskell Plutus training materials. Each lesson combines video, structured reading, a live Haskell editor and native assessment.

Sign in to enrol
Learner rating
★★★★★5.0/51 rating
Sign in to rate this course.

Course content

12 chapters · 45 lessons

1. Haskell Foundations and Setup

7 sections
  • ▶Haskell IntroductionIncludes quiz: Knowledge Check - Haskell Introduction0 min
  • ○Basics of Importing in HaskellSign in to access this lesson0 min
  • ○Using deriving Show in Haskell as a BeginnerSign in to access this lesson0 min
  • ○Where Clauses and Let Expression Basics in HaskellSign in to access this lesson0 min
  • ○Creating Custom Product Types in HaskellSign in to access this lesson0 min
  • ○Defining Simple Functions in Haskell (the basics)Sign in to access this lesson0 min
  • ○Installing Haskell on Windows 10Sign in to access this lesson0 min

2. Types, Logic and Purity

6 sections
  • ○Basics of Sum Types in HaskellSign in to access this lesson0 min
  • ○Total vs Partial Functions in HaskellSign in to access this lesson0 min
  • ○Datatype Renamings (newtype) in HaskellSign in to access this lesson0 min
  • ○Boolean Logic Basics in HaskellSign in to access this lesson0 min
  • ○Type Checking Basics in HaskellSign in to access this lesson0 min
  • ○"Side Effects" and Purity in HaskellSign in to access this lesson0 min

3. Expressions, Syntax and Core Data Modelling

8 sections
  • ○Basic Arithmetic in Haskell and Potential Problems with DivisionSign in to access this lesson0 min
  • ○Basics of “if then else” Expressions in HaskellSign in to access this lesson0 min
  • ○Basics of Comments ( Pragmas) in HaskellSign in to access this lesson0 min
  • ○Exploring Algebraic Data Types in HaskellSign in to access this lesson0 min
  • ○Prefix to Infix Functions (Using Backticks) in HaskellSign in to access this lesson0 min
  • ○Type Synonyms in HaskellSign in to access this lesson0 min
  • ○Product Types and Tuples in HaskellSign in to access this lesson0 min
  • ○Basics of Whitespace in HaskellSign in to access this lesson0 min

4. Algebraic Data Types and Lambda Calculus

7 sections
  • ○Algebraic Data Types with HaskellSign in to access this lesson0 min
  • ○Algebraic Data Types with HaskellSign in to access this lesson0 min
  • ○Algebraic Data Types with HaskellSign in to access this lesson0 min
  • ○Haskell’s Built-in Types (the Basics)Sign in to access this lesson0 min
  • ○Lambda (λ) Calculus PrimerSign in to access this lesson0 min
  • ○Lambda (λ) Calculus Evaluation RulesSign in to access this lesson0 min
  • ○Lambda Calculus Normal Form and the Church–Rosser TheoremsSign in to access this lesson0 min

5. Lists, Higher-Order Functions and Recursion

3 sections
  • ○FP 7 List ComprehensionsSign in to access this lesson0 min
  • ○Higher‐Order Functions in HaskellSign in to access this lesson0 min
  • ○How to think recursivelySign in to access this lesson0 min

6. Types, Classes and Functional Problem Solving

3 sections
  • ○FP 12 ‐ Declaring Types and ClassesSign in to access this lesson0 min
  • ○FP 13 ‐ The Countdown ProblemSign in to access this lesson0 min
  • ○Haskell Interactive ProgrammingSign in to access this lesson0 min

7. Lazy Evaluation and Functors

2 sections
  • ○Lazy EvaluationSign in to access this lesson0 min
  • ○AFP 5 — FunctorsSign in to access this lesson0 min

8. Applicative Functors

1 sections
  • ○Applicative FunctorsSign in to access this lesson0 min

9. Monads: Concepts and Practice

3 sections
  • ○Monads I: Basic Concepts (Full Tutorial)Sign in to access this lesson0 min
  • ○Monads II: Maybe, List and StateSign in to access this lesson0 min
  • ○Monads III (State Monad in Practice: Tree Relabeling)Sign in to access this lesson0 min

10. Functors, Applicatives and Monads Together

2 sections
  • ○Functors, Applicatives and Monads in Haskell – Part 1 (Functors)Sign in to access this lesson0 min
  • ○Functors, Applicatives and Monads in Haskell – Part 3 (Monads)Sign in to access this lesson0 min

11. Optics and Formal Verification

2 sections
  • ○Basic Optics: Lenses, Affine Traversals, and PrismsSign in to access this lesson0 min
  • ○Type-Based Formal Verification in FPSign in to access this lesson0 min

12. Intermediate Haskell Practicals

1 sections
  • ○Haskell Lessons Intermediate : PracticalsSign in to access this lesson0 min