OCaml

OCaml is a functional language with a strong type system and native compilation. Readers can learn about its module system and functors, pattern matching and inference, the opam ecosystem and dune build tool, effects in OCaml 5, and industrial use.