Flux: Liquid Types for Rust — HN submission

Sat, 30 Sep 2023 22:00:23 GMT

Flux: Liquid Types for Rust [pdf]

3 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Flux: Liquid Types for Rust — mentioned by one-punch

Sun, 10 Sep 2023 21:39:57 GMT

> C++ doesn't have bounds checks in the std library in release builds by default, so you can't get better than that. In Haskell you can provide your own prelude, which uses unsafe functions without bounds checks by default. With CPP or cabal tricks, you can easily have bounds checks only for debug builds, but no bounds checks for release builds. No Liquid Types needed either, though this is only testing in development but not compile time verification. Less safe, but same effort and result as in C++. > loops and bounds checks are complex in the first place isn't true. Liquid Types people are…

Paper and discussion history. A mention is not an endorsement.

Flux: Liquid Types for Rust · HackerPapers discussions

Flux: Liquid Types for Rust — HN submission

Flux: Liquid Types for Rust — mentioned by one-punch