OCaml

Full OCaml course — 49 topics from the basics to advanced use.

Lessons

• Advanced Pattern Matching
• Polymorphic Variants
• Extensible Variants
• GADTs
• Advanced Type System Features
• Advanced Module System
• Objects & Classes
• Laziness, Memoization & Infinite Structures
• Monads, Applicatives & Binding Operators
• The Format Module & Pretty Printing
• Effect Handlers (OCaml 5)
• Multicore Parallelism
• Concurrency: Lwt and Eio
• Metaprogramming with PPX
• Foreign Function Interface
• Memory Representation, the GC & Performance
• Compilation Pipeline
• Introduction to OCaml
• Installation & Tooling Setup
• The Toplevel (REPL) and Your First Program
• Basic Types, Values & Operators
• Let Bindings, Scope & Immutability
• Functions
• Control Flow: Conditionals & Expressions
• Recursion & Tail Recursion
• Tuples, Lists & Pattern Matching
• Type Inference, Annotations & Polymorphism
• Command-Line & Systems Programming
• Serialization
• Web Development
• OCaml in the Browser
• Packaging, Style & Best Practices
• Capstone Projects
• Appendices
• Records
• Variants (Algebraic Data Types)
• Option & Result
• Higher-Order Functions & the List Module
• Strings, Chars, Bytes, Buffer & Printf
• Imperative Programming
• Exceptions
• Standard Data Structures
• Input / Output & Files
• Modules & Signatures
• Functors
• First-Class Modules
• Projects with Dune & opam
• Testing, Documentation & Debugging
• Course Overview