2 ms·Flux – Rust annotation-based type checker2 points by burnt-resistor 1y agoburnt-resistor 1y agoSimilar to dialyzer (Erlang) or sorbet (Ruby), but adds gradual refinement (almost dependent) typing to Rust.