this post was submitted on 31 Jul 2023
1 points (100.0% liked)
Programming
22404 readers
12 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Self-documenting code only documents what the code does, not why it does it. I can look at a well written method that populates a list with random elements from another list and go "I know what that does!" but reading the code doesn't tell me the reason this code was written or why alternatives weren't chosen.
In the case of Rust, it goes even a step further when working with unsafe code. Sure I know what invariants need to be held for unsafe code to be sound, but not everyone does, and it isn't always clear why a particular assumption made in an unsafe block (the list has at least 5 elements, for example) can be made soundly.