Flux – Rust annotation-based type checker

(flux-rs.github.io)

2 points | by burnt-resistor 16 hours ago ago

1 comments

  • burnt-resistor 16 hours ago

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