Some notes on Rust, mutable aliasing and formal verification
graydon2.dreamwidth.orgRecently <a href="https://without.boats/blog/references-are-like-jumps/">Boats wrote a blog post</a> about Rust, mutable aliasing, and the sad story of local reasoning over many decades of computer science. I recommend that post and agree with its main points! Go read it! But I also thought I'd add
I Am Not a Functional Programmer - Daniel Beskin's Blog
Despite rumors to the contrary, I am not actually a functional programmer. True, I sometimes slip and fall and an "applicative functor" would come out from under my breath. But surely you shouldn't…