connections: Rust 组合式数值类型安全转换库

Show HN: Galois connections for composable numeric casts in Rust

connections 是一个基于 Galois connections 理论的 Rust 库，旨在解决数值类型转换中的语义模糊问题。它摒弃了传统的 as 强制转换，提供了一组具有明确数学定义的转换连接，支持在编译期组合转换链，确保舍入、饱和等行为的确定性。该库原生支持 Rust 1.88，包含针对整数、Q 格式定点数及时间类型的预定义转换，并通过 Kani 进行形式化验证，让开发者能够编写出既安全又可见正确的数值处理代码。

"通过 Galois connections，我们将数值转换从充满不确定性的‘黑盒’操作，转变为由简单不等式严格定义的、可组合的静态法律。"