并发程序模型检测语言
Harmony 是一种类 Python 的编程语言，定位于并发程序的测试、教学和实验。它的关键区别在于不只是“运行”程序，而是对程序进行模型检查，探索进程间所有可能的交错执行，从而发现死锁、数据竞争、不变量违反等在普通运行中极难复现的角落问题。
从功能上看，Harmony 适合验证并发算法和同步机制。网站示例覆盖哲学家就餐、Peterson 算法、有界缓冲区、读写者问题、双锁并发队列和 Paxos。它能检查所有可能的进程交错，检测不满足不变量的情况，并给出到失败执行的最短路径，适合帮助学习者理解并发错误如何发生。
Harmony 语法接近 Python，对熟悉 Python 或类似语言的人较友好。运行要求 Python 3.6+，并使用 Graphviz 可视化状态变化；部分环境还需要 C 编译器，Windows 用户可能需要安装 Microsoft C++ Build Tools。工具可通过 pip 安装，也可从源码包构建。生态方面，它提供命令行编译器，以及 VSCode 扩展，支持语法高亮、智能补全、编辑器内可视化和自动编译器安装。
文档质量是它的明显优点：网站提供在线教材、PDF 版教材、安装指南、语言参考、库参考、更新日志和多个经典示例。抓取文本未提到收费、商业版或付款方式，因此只能判断其当前资料呈现为免费可安装使用，但开源许可证、代码仓库和商业支持信息没有明确说明。
优点是并发验证目标清晰、语法门槛较低、可视化和教材配套完善；缺点是应用范围偏教学和研究，不能替代通用编程语言或生产级测试平台，安装链路对新手略复杂。它最适合高校课程、并发算法学习、研究原型和希望系统理解同步错误的开发者。
文本没有提供中国大陆访问、镜像、支付或网络可用性信息，访问状态标记为未知。若下载 pip 包或 VSCode 扩展受网络影响，可考虑配置常用 Python 包镜像；同类替代方向包括 TLA+、PlusCal、Alloy、SPIN/Promela 等形式化建模工具。
本测评基于公开资料整理,不构成购买建议,请以 harmonylang.dev 官网实际信息为准。
Python风格并发建模语言，适合系统开发学习。
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。