OCaml
OCaml is a statically-typed and type-safe Functional Programming language.
Top Level
Tooling
Manually Compiling OCaml Programs
> ocamlc -o test.out test.ml > ./test.out
Dune
In larger projects, we don't want to run the compiler or clean up manually. Instead, we want to use a build system to automatically find and link in libraries. OCaml has a legacy build system called ocamlbuild, and a newer build system called Dune. (Clarkson 2025, 30)
References:
Clarkson, Michael Ryan. 2025. Ocaml Programming: Correct + Efficient + Beautiful. https://cs3110.github.io/textbook/.