Home 零对冲(ZeroHedge)每日HackerNews

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

原始链接: https://cure-lang.org/index.html

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

Hacker Newsnew | past | comments | ask | show | jobs | submitlogin[flagged]tablets 1 day ago | hide | past | favorite SwiftyBug 1 day ago | next [–] This was posted two days ago and has been flagged: https://news.ycombinator.com/item?id=45832954PhilipRoman 1 day ago | prev | next [–] The website seems to be just AI filler, I guess this is the real GitHub repo: https://github.com/am-kantox/cure-langI was curious about the examples but this does not seem promising... def sort(list: List(T)): List(T) where Ord(T) = match list do [] -> [] [pivot | rest] -> sort(rest) endfouc 1 day ago | prev [–] this was flagged 2 days ago https://news.ycombinator.com/item?id=45832954 Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10 Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search:
相关文章
原文

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.

Cure
联系我们 contact @ memedata.com