# Installer unisonlang avec Homebrew

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de unisonlang pour les workflows d'agents IA.

## installation

```sh
sudo av install brew:unisonlang
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install unisonlang
```

  Preuve: local Homebrew formula metadata

## Faits du paquet

- **Clé du paquet:** brew:unisonlang
- **Gestionnaire de paquets:** Homebrew
- **Version:** 1.3.0
- **Résumé source:** Friendly programming language from the future
- **Page d'accueil:** <https://unison-lang.org/>
- **Dépôt:** <https://github.com/unisonweb/unison>
- **Dernière mise à jour:** 2026-07-24T01:54:04Z
- **Généré:** 2026-08-03T19:37:03+00:00

## exécutables

- ucm (alias)

## Comportement d'installation

- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-03
- version du gestionnaire: 1.3.0
## Historique du projet et usages

Unison is a functional programming language and toolchain built around content-addressed code. The package ships the Codebase Manager, ucm, which is both a CLI workflow tool and the local interface to Unison's database-backed codebase model.

### Historique du projet

Unison Computing traces the language's path from a 2018 company founding through a 2019 first alpha, SQLite-backed local codebases in 2021, Unison Share, projects, contributions, cloud deployment, and finally the 1.0 release in November 2025. The 1.0 announcement presents the milestone as stabilization of the language, distributed runtime, and developer workflow after several years of design and engineering.

The language's defining idea is that definitions are identified by hashes of their syntax trees rather than by names alone. Official docs describe Unison code as content-addressed and stored in a codebase database; names are metadata, while hashes pin exact implementations and dependencies.

### Historique d'adoption

Unison's adoption has been centered less on broad language popularity and more on a self-contained ecosystem: UCM, Unison Share, Unison Cloud, a public package/project system, and a community of early adopters. The 1.0 page reports thousands of merged PRs, thousands of GitHub stars, many published definitions, and more than a thousand project authors.

The project has also used the language in its own infrastructure. An official production report describes Unison Computing using Unison for mission-critical parts of Unison Cloud, including compute fabric and transactional storage work.

### Modes d'utilisation

Package users install unisonlang primarily to get the ucm executable. The everyday workflow is unusual for language packages: users edit scratch .u files in their editor, then use UCM to add, update, view, test, run, branch, push, pull, and manage code in the local codebase.

Because code is not organized as ordinary source files in the final representation, package nerds care about where the CLI lives, how the codebase is initialized or upgraded, and how UCM interoperates with Unison Share, project metadata, editor tooling, and cloud workflows.

### Pourquoi les passionnés de paquets s'y intéressent

Unison is a packaging outlier: it is a language runtime, buildless code database, package manager, version-control model, and deployment story wrapped around one CLI. That makes the Homebrew formula more than a compiler install; it is the entry point to a non-file-centric development workflow.

It is also a useful case study for language packaging after Git. Instead of treating Git repositories as the primary distribution unit, Unison moves toward hash-addressed definitions, native projects, Share-hosted libraries, and semantic code operations.

### Chronologie

- 2018: Unison Computing founded.
- 2019: First official alpha release and Strange Loop introduction.
- 2021: Local codebases moved to SQLite; Unison Share first deployed.
- 2023: Projects and Share contributions added.
- 2024: Unison Cloud became generally available; Unison Share was open-sourced.
- 2025: UCM Desktop, MCP support, branch history comments, and Unison 1.0 release.

### Related projects

- The official FAQ frames Unison as related to Haskell through functional programming, type inference, pattern matching, algebraic data types, and purity, while differing through strict evaluation, abilities, content-addressed code, and its codebase workflow.
- Its ecosystem includes Unison Share for code hosting, Unison Cloud for deployment, UCM Desktop for local browsing, editor/LSP tooling, and Unison projects as the package-like unit for libraries and applications.

### Sources

- <https://www.unison-lang.org/blog/experience-report-unison-in-production/>
- <https://www.unison-lang.org/docs/projects/>
- <https://www.unison-lang.org/docs/the-big-idea/>
- <https://www.unison-lang.org/unison-1-0/>
- source_facts.package-manager


## Notes de sécurité

generalized runtime or code generation signal.

- **Risque Geiger:** yellow / moyen
- generalized runtime or code generation signal


## Combined YAML source

View the package source record on GitHub. [combined/unisonlang.yml](https://github.com/mxcl/pkgdb/blob/main/combined/unisonlang.yml)


## Sources

- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- cross-ecosystem install command graph