Show HN: Salt – a systems language with Z3 theorem proving in the compiler24 days agohttps://salt-lang.devSalt 通过 Z3 验证的合约在编译时提供经过验证的安全性，无需运行时开销。它使用区域分配而非垃圾回收或借用检查器，确保内存安全并防止泄漏。在各类基准测试中，包括机器学习推理、内核、网络和渲染，Salt 的性能与 clang -O3 相当。该语言具备管道操作符用于链式调用、可选的错误链式处理，以及无需分配的类型安全格式化 f-strings。Salt 的包管理器 sp 提供依赖验证、内容寻址缓存和单仓库支持，以实现快速可靠的构建。
C3 0.8.2 a Modest Improvement12 days agohttps://c3-lang.org/blog/0_8_2_a_modest_improvement/C3 0.8.2版本发布包含语言易用性改进，例如库的可重用目标模板和通用constdef。为泛型新增反射功能，允许通过is_generic、generic_qname和generic_args等方法检查泛型实例化。Bitstruct成员现在具有bitoffset和bitsize属性，用于详细的位级反射。新增@param选项：own、init和drop，用于参数注解，以辅助静态分析和文档。汇编栈对齐现在通过@align可选，修复了之前与C行为不匹配的问题。可直接设置Windows子系统，所有子系统（如EFI）对应用程序可用。标准库新增包括Atomic.compare_exchange、array::contains_slice、log::register_dynamic_category，并改进了String方法。修复了标准库（例如String.to_double、JSON序列化、IPv6解析）和编译器（例如$stringify、constdef、untypedlist处理）中的问题。感谢C3社区通过PR、问题讨论和贡献，并列出具体贡献者。
Zig by Example7 hours agohttps://zigbyexample.neocities.org/Zig是一种通用编程语言，旨在开发健壮、优化且可复用的软件。官方文档可供进一步学习。《Zig示例》是一本通过带注释的示例程序进行实践入门的教程。这些示例是为0.16版本编写的；如果某些内容无法正常运行，请检查你的版本。