Thoughts on flux-rs?

Somebody just pointed me to flux-rs

It's pretty neat. I haven't used it "in anger" yet. But it seems like an interesting direction.

C++ began as C preprocessor macros. Flux-rs feels like a nascent new language or maybe an exploration of features that may come back to mainline Rust in a decade.

1 Like

Rust will have refinement types :smiley:

Pattern types:

4 Likes

There is also an official Rust Working Group / Interest Group who has interest in flux-rs.

1 Like

And for the precondition & postcondition attributes, last month the first contracts PR was just merged into Rust.

As contexts:

4 Likes