OCaml Advanced
Beyond OCaml Intermediate. Functors, GADTs, polymorphic variants, lazy evaluation, the Pervasives module. The features behind Jane Street's libraries and the Coq proof assistant.
advanced7 lessons3 chapters7 graded exercisesOcaml
No sign-up needed for lesson 1 · certificate on completion · sign up to save progress
What you’ll be able to do
Chapter by chapter. Every lesson ends in a graded exercise.
- Functors and Polymorphic Variants
- Lazy Evaluation and Sequences
- GADTs, First-Class Modules, Effects
Taught in Ocaml, graded on a real executor.
Curriculum
3 chapters, 7 lessons. Each lesson is a short read and a graded exercise.
- 1FunctorsRead · exercise
- 2Polymorphic VariantsRead · exercise