OCaml

OCaml is an industrial-strength, general-purpose functional programming language with a powerful static type system, type inference, and automatic garbage collection. It is heavily utilized in financial systems, formal verification, language compilers, and static analysis tools.

Installation

OCaml can be installed via system packages or managed using opam, the official OCaml package manager.

Installing OCaml and OPAM via APT

apt update
apt install -y ocaml opam build-essential

Initializing OPAM Package Manager

Initialize OPAM to manage isolated compiler switches and libraries:

opam init --bare -a -y
eval $(opam env)

You can optionally install developer tooling such as dune (the standard OCaml build system) and utop (an enhanced interactive REPL):

opam install -y dune utop

Verification

Check the installed OCaml compiler version:

ocamlc -version

Writing and Compiling Code

Create an OCaml source file named hello.ml:

let () = print_endline "Hello from OCaml in TIDE!"

Compiling to Bytecode

Compile the script with the OCaml bytecode compiler:

ocamlc -o hello hello.ml
./hello

Compiling to Native Executable

For maximum execution speed, compile directly to native machine code with ocamlopt:

ocamlopt -o hello_native hello.ml
./hello_native

Running Directly as a Script

You can also run OCaml source files directly without explicit compilation:

ocaml hello.ml

Interactive REPL

To launch the standard OCaml interactive shell:

ocaml

Or launch utop (if installed via opam):

utop

Official Resources

• Official Website