After reading nrc’s blog post about graphs, I felt inspired to| smallcultfollowing.com
I wanted to write about an idea that’s been kicking around in the back of my mind for some time. I call it view types. The basic idea is to give a way for an &mut or & reference to identify which fields it is actually going to access. The main use case for this is having “disjoint” methods that don’t interfere with one another.| smallcultfollowing.com
Feature Name: nll| rust-lang.github.io
This blog post explores an alternative formulation of Rust’s type system that eschews lifetimes in favor of places. The TL;DR is that instead of having 'a represent a lifetime in the code, it can represent a set of loans, like shared(a.b.c) or mut(x). If this sounds familiar, it should, it’s the basis for polonius, but reformulated as a type system instead of a static analysis. This blog post is just going to give the high-level ideas. In follow-up posts I’ll dig into how we can use thi...| smallcultfollowing.com
Want to follow along with Rust development? Curious how you might get involved? Take a look!| blog.rust-lang.org