用途：Unison 是内容寻址的函数式编程语言，代码由哈希标识而非名称，因此重命名无需改动引用；通过 abilities 表达 IO、异常、随机、远程等代数效应，并支持结构化类型与分布式计算。
主要能力：内容寻址代码库；abilities 处理 IO、Exception、Random、Abort、Remote、STM 等效应；结构化类型；UCM（Unison Codebase Manager）提供 REPL 与版本控制；可从 Unison Share 安装库；支持编译为可执行文件。
使用方式：启动 UCM 用 ucm，指定项目用 ucm -p myproject/main，运行编译产物用 ucm run.compiled program.uc，指定代码库路径用 ucm -C ./my-codebase。REPL 内可用 project.create、switch、update、add、run、compile、lib.install @unison/http、find、view、docs、move.term 等命令。代码写在 .u 临时文件中，UCM 自动监视并类型检查，再用 update 或 add 加入代码库。
适用场景：纯函数式编程、效应建模、并发（STM）、分布式任务（Remote.fork/await）、HTTP 请求等。
限制：资料未提供收费、价格、平台支持范围、性能数据或与其他语言的对比；部分能力依赖运行时或云运行时，具体可用性暂未提供。