Flux – Rust annotation-based type checker

flux-rs.github.io

2 pointsburnt-resistor1 comment

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