Unison

Unison is a modern, statically-typed functional programming language designed for building distributed systems. Unison identifies code by content hash rather than file path, enabling seamless code sharing and distributed execution.

Installation

Install the Unison Codebase Manager (ucm) using the official installer script:

apt update
apt install -y curl gpg
curl -fsSL https://www.unison-lang.org/ucm/install.sh | bash

Alternatively, install unisonweb via the official Debian repository:

curl https://debian.unison-lang.org/public.gpg | gpg --dearmor -o /etc/apt/trusted.gpg.d/unison-computing.gpg
echo 'deb [arch=amd64 signed-by=/etc/apt/trusted.gpg.d/unison-computing.gpg] https://debian.unison-lang.org/ trixie main' | tee /etc/apt/sources.list.d/unison-computing.list
apt update
apt install -y unisonweb

Verification

Verify that the Unison Codebase Manager (ucm) is available:

ucm --version

Writing and Executing Code

Create a Unison source file named hello.u:

hello : '{IO} ()
hello _ = printLine "Hello, World!"

> hello

Run the Unison program using ucm:

ucm run hello.u

Official Resources

• Official Website