- Total functions, panic-freedom, and guaranteed termination in the context of Rust https://blog.yoshuawuyts.com/totality/ 54 comments rust
Linking pages
Linked pages
- Announcing the Keyword Generics Initiative | Inside Rust Blog https://blog.rust-lang.org/inside-rust/2022/07/27/keyword-generics.html 166 comments
- GitHub - viperproject/prusti-dev: A static verifier for Rust, based on the Viper verification infrastructure. https://github.com/viperproject/prusti-dev 92 comments
- GitHub - dtolnay/no-panic: Attribute macro to require that the compiler prove a function can't ever panic https://github.com/dtolnay/no-panic 52 comments
- Linear Types One-Pager https://blog.yoshuawuyts.com/linear-types-one-pager/ 45 comments
- Any in std::any - Rust https://doc.rust-lang.org/std/any/trait.Any.html 19 comments
- Pattern Extensions https://blog.yoshuawuyts.com/pattern-extensions/ 18 comments
- Result in std::result - Rust https://doc.rust-lang.org/std/result/enum.Result.html#method.expect 8 comments
- The Koka Programming Language https://koka-lang.github.io/koka/doc/book.html 7 comments
- Rice's theorem - Wikipedia https://en.wikipedia.org/wiki/Rice%27s_theorem 0 comments
- GitHub - model-checking/kani: Kani Rust Verifier https://github.com/model-checking/kani 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:blog.yoshuawuyts.com
Search title: Totality
See how to search.