burnt-resistor
7 months 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 7 months ago
by burnt-resistor7 months ago
Similar to dialyzer (Erlang) or sorbet (Ruby), but adds gradual refinement (almost dependent) typing to Rust.