Tootfinder

«How to Learn Rust in 2024: A Complete Beginner’s Guide to Mastering Rust Programming»
– from @… on @… blog
Yes, I admit, I have to seriously go through this because I still find learning Rust difficult.
🦀

How to Learn Rust in 2024: A Complete Beginner’s Guide to Mastering Rust Programming | The RustRover Blog
So, you're thinking about choosing Rust as your next programming language to learn. You already know what it means to write code and have some experience with at least one programming language, probab

@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…