Flux – Rust annotation-based type checker

by burnt-resistoron 6/30/2025, 2:53 AMwith 1 comments

by burnt-resistoron 6/30/2025, 2:55 AM

Similar to dialyzer (Erlang) or sorbet (Ruby), but adds gradual refinement (almost dependent) typing to Rust.