Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
Related Rants
I think the most important lesson you have to learn before discovering new Rust becomes easy is that edge cases matter, because formal descriptions almost never start with the most visible attribute; they start with the strongest one.
Almost every datastructure is Unpin, or should be at any rate. The benefit of Pin is that you can get rid of that *almost*, and define your operations for arbitrary sections of program state.
rant
formal reasoning
unpin
pin
rust