Master programming syntax, solve interactive challenges & run live code in Syntaxis Explore Arena →
Functional Programming / Beginner

OCaml Tutorial

A focused OCaml curriculum from foundational syntax through advanced language features, with atomic lessons and construct-specific examples.

80 lessons~13.3 hoursv5.x workspace_premium Certificate available
YOUR PROGRESS
0%

Course curriculum

MODULE 01
Core Values
10 lessons
1let bindings
10 min
2type inference
10 min
3integers and floats
10 min
4strings and chars
10 min
5tuples
10 min
6records
10 min
7variants
10 min
8polymorphic variants
10 min
9unit
10 min
10physical vs structural equality
10 min
MODULE 02
Functions
10 lessons
1function definitions
10 min
2anonymous functions
10 min
3currying
10 min
4partial application
10 min
5labeled arguments
10 min
6optional arguments
10 min
7recursive functions
10 min
8mutual recursion
10 min
9pipeline operator
10 min
10higher-order functions
10 min
MODULE 03
Pattern Matching
10 lessons
1match expressions
10 min
2function shorthand
10 min
3guards
10 min
4or-patterns
10 min
5as-patterns
10 min
6nested patterns
10 min
7record patterns
10 min
8list patterns
10 min
9variant patterns
10 min
10exhaustiveness
10 min
MODULE 04
Collections
10 lessons
1lists
10 min
2List.map
10 min
3List.fold_left
10 min
4List.filter
10 min
5arrays
10 min
6array mutation
10 min
7sequences
10 min
8maps
10 min
9sets
10 min
10hashtables
10 min
MODULE 05
Types
10 lessons
1type aliases
10 min
2parameterized types
10 min
3recursive types
10 min
4GADTs
10 min
5private types
10 min
6abstract types
10 min
7phantom types
10 min
8locally abstract types
10 min
9first-class modules
10 min
10existential packaging
10 min
MODULE 06
Modules
10 lessons
1module definitions
10 min
2module signatures
10 min
3module type
10 min
4functors
10 min
5include
10 min
6open
10 min
7local open
10 min
8module aliases
10 min
9nested modules
10 min
10generative functors
10 min
MODULE 07
Effects and Errors
10 lessons
1option
10 min
2result
10 min
3exceptions
10 min
4try with
10 min
5raise
10 min
6references
10 min
7mutable record fields
10 min
8lazy values
10 min
9effect handlers
10 min
10continuations
10 min
MODULE 08
Tooling and I/O
10 lessons
1print_endline
10 min
2Printf.printf
10 min
3file input
10 min
4file output
10 min
5Sys.argv
10 min
6Unix environment
10 min
7JSON pattern
10 min
8Dune test structure
10 min
9assertions
10 min
10resource cleanup
10 min
Certificate Included

OCaml Certificate

Earn this credential in either of two ways: complete 100% of the course, or take the master exam directly and score 85% or higher. You do not need to finish the course before attempting the exam.

Course completion path
Finish every published lesson → completion certificate is issued automatically.
Mastery exam path
15 MCQs · 100 marks · 30 minutes · 85% pass · 4 attempts.
Fresh questions each attemptNo backtrackingPublic verificationAdd to LinkedIn
Sign in to earn certificate