> Doesn't matter how you get there (though it's a bummer you've lost faith), just matters that you did. What bothers me is exactly this attitude that all you n

> Doesn't matter how you get there (though it's a bummer you've lost faith), just matters that you did. What bothers me is exactly this attitude that all you need is Rust: > The solution is called Rust. Encode all the rules in the code and type system once, and never have to worry about them again. My point is that you can encode all important information in a formal language. It does not solve the documentation problems, it can mitigate them. That's not nitpicking, because I've met plenty of people thinking the former and their code is usually difficult to read as a consequence.