burnt-resistor
a day ago
Similar to dialyzer (Erlang) or sorbet (Ruby), but adds gradual refinement (almost dependent) typing to Rust.
Flux – Rust annotation-based type checker
2 pointsposted a day ago
by burnt-resistora day ago
Similar to dialyzer (Erlang) or sorbet (Ruby), but adds gradual refinement (almost dependent) typing to Rust.