Show HN: Galois connections for composable numeric casts in Rust

This article was originally posted on Hacker News by partialsolve (Score: 18 points).