Skip to content
Learning path

OCaml Developer

Learn OCaml — the language behind Jane Street's HFT systems, MirageOS, Coq, and the original ML lineage. ML's killer features without Haskell's purity tax.

mixed3 courses23 lessons~6 hoursFree
Start pathor sign up to track progress

Course sequence

  1. 01

    OCaml Fundamentals

    Not started

    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.

    intermediateocaml9 lessons~2h
  2. 02

    OCaml Intermediate

    Not started

    Level up from OCaml Fundamentals. Modules, records, mutable references, option/result combinators, the standard library. The features that scale OCaml from a teaching language to industrial use.

    intermediateocaml7 lessons~2h
  3. 03

    OCaml Advanced

    Not started

    Beyond OCaml Intermediate. Functors, GADTs, polymorphic variants, lazy evaluation, the Pervasives module. The features behind Jane Street's libraries and the Coq proof assistant.

    advancedocaml7 lessons~2h

Create a free account to track your progress across this path.

OCaml Developer