Unison是一种编程语言，它将代码存储在数据库中，而不是文本文件中。这种方法简化了分布式编程，并提供了一种新的编程语言接口方式。Unison使用结构哈希来标识代码，使得重命名函数或使用不同版本的库变得更加容易。它还引入了“能力”的概念，用于管理代码与外部世界的交互，从而简化测试。Unison Cloud平台允许开发者运行使用自定义云能力的Unison程序。然而，Unison也存在一些缺点，例如缺乏对其他语言的稳定FFI支持，以及需要从头开始构建社区工具。