OCaml Fundamentals
Learn OCaml: the rigorous functional language behind F#, Reason, and Jane Street's trading systems. Has the strictest type system you'll meet outside Haskell, with type inference so good you barely write a type. The language that taught me what 'expressive' really means.
intermediate9 lessons4 chapters9 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.
- First Steps
- Functions
- Pattern Matching
- Lists, Recursion, IO
Taught in Ocaml, graded on a real executor.
Curriculum
4 chapters, 9 lessons. Each lesson is a short read and a graded exercise.
- 1Hello, OCamlRead · exercise
- 2let BindingsRead · exercise