The borrow checker within · baby steps (smallcultfollowing.com)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 03 Jun 06:25
https://programming.dev/post/15005906

This is about Rust, but it’s a great post and likely relevant to languages with Rust-style ownership. It describes four features planned for Rust to make its borrow checker more expressive and permissive:

#programming_languages

threaded - newest