治疗 – Beam 的先验证编程

治疗 – Beam 的先验证编程
Cure – Verification-First Programming for the Beam

``` v0.2.0 - 2025年11月依赖类型。SMT验证。原生有限状态机。基于BEAM。一种强类型、依赖类型编程语言，为经过实战检验的BEAM虚拟机带来数学上的正确性保证。构建验证比便利性更重要的系统。现在包含12个完全编译的标准库模块和全面的文档。 ```

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录 Cure – Beam 的验证优先编程 (cure-lang.org) 7 分，由 tablets 3 小时前发布 | 隐藏 | 过去 | 收藏 | 1 条评论 PhilipRoman 16 分钟前 [–] 网站看起来只是 AI 填充，我想这才是真正的 GitHub 仓库：https://github.com/am-kantox/cure-lang 我对示例感到好奇，但看起来不太乐观... def sort(list: List(T)): List(T) where Ord(T) = match list do [] -> [] [pivot | rest] -> sort(rest) end 回复考虑申请 YC 的 2026 年冬季批次！申请截止日期为 11 月 10 日指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系搜索：

v0.2.0 - November 2025

Dependent Types. SMT Verification. Native FSMs. On the BEAM.

A strongly-typed, dependently-typed programming language that brings mathematical correctness guarantees to the battle-tested BEAM virtual machine. Build systems where verification matters more than convenience. Now with 12 fully compiled standard library modules and comprehensive documentation.

治疗 – Beam 的先验证编程 Cure – Verification-First Programming for the Beam

治疗 – Beam 的先验证编程
Cure – Verification-First Programming for the Beam