Show HN: Salt – a systems language with Z3 theorem proving in the compiler
11 days ago
- #Systems Programming
- #Formal Verification
- #Programming Language
- Salt 通过 Z3 验证的合约在编译时提供经过验证的安全性，无需运行时开销。
- 它使用区域分配而非垃圾回收或借用检查器，确保内存安全并防止泄漏。
- 在各类基准测试中，包括机器学习推理、内核、网络和渲染，Salt 的性能与 clang -O3 相当。
- 该语言具备管道操作符用于链式调用、可选的错误链式处理，以及无需分配的类型安全格式化 f-strings。
- Salt 的包管理器 sp 提供依赖验证、内容寻址缓存和单仓库支持，以实现快速可靠的构建。