主要观点：

• Unison Computing 是开源Unison 编程语言和Unison 云平台的背后公司，分享多年使用 Unison 的经验。
• 在公司中，Unison 用于多个关键应用，如 Unison Cloud 的基本计算结构和可扩展事务存储层，还在开展其他重要项目。
• 虽然对 Unison 目前满意，但一路走来经历了不少困难，如运行时 bug、生态系统差距、工具问题等。
• Unison 语言能力很强，有诸多优点，如序列化任意值、快速编译、良好的代码浏览体验等。
• 尽管早期有问题，但坚持使用并持续改进，现在可推荐他人使用，同时指出生态系统和运行时性能仍有不足。

关键信息：

• Unison Cloud 的基本计算结构是弹性节点池，运行任意分布式 Unison 代码，处理节点间计算移动等。
• 可扩展事务存储层基于 DynamoDB，支持任意事务等。
• 早期遇到运行时 bug、生态系统差距（缺少基本库）、工具问题（如使用文件系统作为数据库、工具工作流和 bug 等）。
• 后来引入了项目、版本、合并请求等支持，体验更好。
• Unison 语言能力强，有基本函数式编程支持、异步 I/O 等，还有序列化值等优点。
• 社区友好，帮助他人。

重要细节：

• 最初 Unison Cloud 的基本计算结构是当时 Unison 编写的最大系统，暴露了不少运行时 bug，目前运行时较稳定但性能不高，即将推出 JIT 本地编译器。
• 早期生态系统和核心语言不成熟，需自行构建或添加内置功能，随着时间推移已大幅改善。
• 早期 Unison 工具存在各种问题，如使用文件系统作为数据库导致性能问题，Unison Codebase Manager 工作流和 bug 多，且缺少“项目”等概念，后来情况大幅改善。
• Unison 能序列化任意值并在不同位置使用，编译快，代码浏览体验好，创建和文档库方便，发布版本简单，使用临时文件流程自由，可引用多个版本库，代码打包容易，社区友好。
• 即便现在，Unison 生态系统不如其他语言成熟，运行时性能有待提高，即将推出的 JIT 本地编译器将有很大改善。