About this course
Description
A 3-day introductory course providing solid foundational knowledge in OCaml programming. The training emphasizes language features enabling rapid development of robust software through OCaml's powerful type system. Designed for developers with existing knowledge of imperative languages, covering both the language and development tools.
Who is this for?
You want to adopt OCaml for new projects or upskill your team on functional programming to improve code reliability and developer productivity.
What you will learn
Compile and test programs locally
Write idiomatic OCaml code
Select appropriate data structures for specific use cases
Utilize the OCaml ecosystem and community contributions
Program outline
Introduction to OCaml
- —Language characteristics, advantages, and performance
- —History, paradigms, and ecosystem overview
Environment & Tooling
- —Opam package manager setup
- —REPL interpreter, compilers (bytecode, native, JavaScript)
- —Editor setup and development workflow
Language Fundamentals
- —Basic program structure, definitions, and control structures
- —Predefined data types and primitives
- —Loops, first-class functions, pattern matching, exceptions
Data Types & Standard Library
- —Custom types: aliases, records, algebraic types, recursion, polymorphism
- —Standard library components
- —Type inference and unification algorithms
Before you enroll
Prerequisites
- —Strong algorithms foundation
- —Experience with at least one programming language (C, C++, Python, Java, etc.)
Format
- On-site or remote
- 3–10 participants
- 50% hands-on exercises
- Schedule: 9:30 - 17:30
Funding
- Qualiopi certified
- OPCO funding eligible
- Sessions on demand within 2 months
- Accessibility accommodations available
Your trainers
Pierre Chambart
OCaml compiler core team member specializing in optimized code generation.
Vincent Laviron
Flambda compiler specialist and OCaml core team member.