connections - Galois-Verbindungen für komponierbare numerische Casts in Rust
Show HN: Galois connections for composable numeric casts in Rust
connections ist eine Rust-Bibliothek, die Galois-Verbindungen als erstklassige Werte einführt, um gesetzmäßige und sichere Konvertierungen zwischen numerischen Typen zu ermöglichen. Im Gegensatz zu Standard-Casts wie `as` oder `From`, die stillschweigend runden oder sättigen, bieten die Verbindungen klare Semantik durch bewiesene Ungleichungen und sind sicher komponierbar. Mit dem `compose!`-Makro lassen sich Ketten von Konvertierungen zur Compile-Zeit zu einer einzigen Verbindung falten. Die Bibliothek enthält zahlreiche vordefinierte Verbindungen für Festkomma-, Gleitkomma-, Zeit- und Netzwerktypen und ist in reinem Rust ohne `unsafe` implementiert. Entwickler können damit Überläufe und Präzisionsverluste vermeiden, indem sie Berechnungen in einem größeren Wertebereich durchführen und dann zurückrunden.
Galois-Verbindungen sind die richtige Form für statische, gesetzmäßige Konvertierungen zwischen teilweise geordneten Typen, bei denen jede Verbindung in der Kette zur Compile-Zeit spezifiziert werden kann.