Thoughts
It's frustrating writing strictly-typed languages like Rust because documentation exists in this state where the compiler is assumed to have
perfect knowledge. I'm reading documentation on multi-threaded access of a variable but I don't need multi-threaded access. However, I cannot prove to the compiler that I won't have multi-threaded access and so I need to write code like I have multi-threaded access, which can make the documentation difficult to follow.