TL;DR
静的型付けの純粋関数型プログラミング言語。コードをテキストファイルではなくデータベースに保存し、名前ではなくハッシュで参照する。
仕組み
コードをハッシュで参照するので、依存関係の衝突の一種がなくなる。副作用は Abilities として関数の型に現れ、たとえば {IO, Exception} は I/O を行い例外を投げうることを表す。どこで計算を実行するかを指定するだけで分散実行でき、ネットワークの境界でエンコーダやデコーダを書く必要がない。
コードの追加、更新、実行は、Unison Codebase Manager（UCM）というツールで行う。
例
macOS では Homebrew で入れられる。
brew tap unisonweb/unison
brew install unison-languageデスクトップアプリは ucm-desktop のリリースページから入れる。