fstar-lang.org 推荐 近期 文档
F*: A Proof-Oriented Programming Language
F* 是面向证明的通用编程语言，结合依赖类型与 SMT 自动证明，可提取到 OCaml、C 或 Wasm。
资源信息
- 域名
- fstar-lang.org
- 内容类型
- 文档（documentation）
- 主题
- 立场
- 推荐（rec）
- 提及
- 3 次提及，3 位提及者
- 合集
- 近期（recent）
- 提及年份
- 2026
- 综合推荐分
- 9.8
推荐理由
Suggests F* as a more suitable alternative for non-mathematics projects.
HN 评论原话
“At least, for non-mathematics projects, doesn't it seem to be a more appropriate option [2]?”
网页原文证据
F* (pronounced F star) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming.
网页抓取状态
成功（ok）