Installation
~/u/utop is available as a dune project that you can download. Visit the ./releases folder for downloadable public archives.
opam pin add
opam install .
Alternatively, the preferred way is to install ~/u/utop as a separate optional distribution of libraries and executables on your computer aka. a ~/.opt/utopk distribution. Doing this has several benefits:
-
Comes with a bundle of (curated) useful programs and libraries to work best with the
~/u/utopinterpreter. This includes:~/u/blueprint-executefor running and developing GUI applications~/u/typstfor typesetting documents
Further readings
- Large-scale scripting [1].
dkis an OCaml distribution–a script runner and cross-compiler written in OCaml, by Jonah Beckfordb0camlis an OCaml script runner and is part of theb0software distribution with zero-build first-class supports for OCaml programs and libraries, by Daniel Bünzli.ocamlscriptis an OCaml script runner to integrate with existing compilation-based OCaml projects, by David Mentre and Martin Jambon.- OCaml [2] is a statically-typed strict-evaluative functional programming language.
Bibliography
- [1] Jukka Lehtosalo, “Our journey to type checking 4 million lines of Python,” Dropbox.Tech. Accessed: Apr. 06, 2026. [Online]. Available: https://dropbox.tech/application/our-journey-to-type-checking-4-million-lines-of-python
- [2] Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy, and Jérôme Vouillon, “The OCaml system, release 5.3.” [Online]. Available: https://caml.inria.fr/pub/docs/manual-ocaml/5.3
Colophon
This article was written in the Typst programming language.