partialsolve

3 ms·

1. 1.▲
   by partialsolve 3mo ago

   This isn’t intended to replace arbitrary validation or runtime-parameterized conversions. That said, here is some lease gating code I used a connection for recently: // Unix i64 timestamp pub struct LeaseSecond(i64);
2. 2.▲
   by partialsolve 3mo ago

   Hi HN — I just published 0.1.0 of `connections`, a Rust port of an older Haskell library I wrote. It's intended to address a common issue with casting: each cast's individual behavior is specified, but the syntax doesn’t describe
3. 3.▲
   Show HN: Galois connections for composable numeric casts in Rust(github.com)

   31 points by partialsolve 3mo ago|3 comments