Home 零对冲(ZeroHedge)每日HackerNews

Erlang 与 Idris：治愈编程语言
Erlang Meets Idris: Cure Programming Language

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

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

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Erlang 遇见 Idris：Cure 编程语言 (cure-lang.org) 18 分，由 delitrem 40 分钟前发布 | 隐藏 | 过去 | 收藏 | 4 条评论 h4kor 2 分钟前 | 下一个 [–] 这 100% 是 LLM 生成的；网站、文档和教程。 没有下载链接或仓库。无法使用任何东西。为什么有人应该关心这个？回复 GCUMstlyHarmls 5 分钟前 | 上一个 | 下一个 [–] 好奇 logo 中的 E, e, e, L 和 G 分别代表什么。回复 josefrichter 13 分钟前 | 上一个 [–] 这与 Gleam 相比，在目标、特性等方面如何？回复 littlestymaar 2 分钟前 | 父评论 [–] > 一种强类型、依赖类型编程语言，它带来了数学上的正确性保证。回复 考虑申请 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.

Cure
联系我们 contact @ memedata.com