Caml
Power

Installing OPAM and OCaml

Follow these instructions in Michael Clarkson's textbook, OCaml Programming: Correct + Efficient + Beautiful. In short: you need to have,

  • a Unix development environment (which could be native Linux, native MacOS, or (on Windows 10/11) a WSL2 virtual machine running Linux.
  • The opam package manager running under Unix.
  • The OCaml compiler installed through opam.
  • The VS Code editor, running native. (That means, under Windows your VS Code will not run inside WSL2.)

Other Text Editors?

You really do want to use VS Code for the syntax highlighting and error messages, but you can get away with an editor that is not VS Code for OCaml programming initially. When we get to using Lean, it is apparently difficult to set up outside of VSCode (where it is really trivial).

Princeton University, Computer Science Department