Flux – Rust annotation-based type checker
2 burnt-resistor 1 6/30/2025, 2:53:56 AM flux-rs.github.io ↗
Comments (1)
burnt-resistor · 11h ago
Similar to dialyzer (Erlang) or sorbet (Ruby), but adds gradual refinement (almost dependent) typing to Rust.