connections - Composable numeric casts via Galois connections in Rust

Show HN: Galois connections for composable numeric casts in Rust

connectionsは、Rustでガロア接続をファーストクラスの値として扱うライブラリです。数値型間の変換を法律に基づいて行い、丸めや飽和などの動作を明確に定義します。標準のas演算子とは異なり、変換の往復動作が不等式で保証され、合成可能な変換チェーンをコンパイル時に構築できます。プロパティテストやSMT検証により、変換の不変条件が検証されています。固定幅整数、Qフォーマット、浮動小数点、時間、ネットワークアドレスなど多様な型をサポートし、安全で予測可能な数値変換を実現します。