Skip to content

Career 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

Start → ship

1

You start with

OCaml Fundamentals

3

You ship

OCaml Advanced

3 courses in order, every exercise graded on the executor.

Course sequence

Follow it in order. Each course is its own certificate.

  1. 1

    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. 2

    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. 3

    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.