Hacker News new | comments | show | ask | jobs | submit login
Reasoning About the Heap in Rust (johnbender.us)
64 points by johnbender 1422 days ago | hide | past | web | 6 comments | favorite

this actually made separation logic make sense for me! I was hoping that there would be some analysis of the borrow checker though, maybe next time...

A friend of mine recommended that I read up on Linear types and associated work. I might take the time to discuss those type systems as they relate to Rust as a follow up. At that point I would address borrowed pointers.

Thanks for reading!

If you need any help with that, don't be shy to jump on #rust on irc.mozilla.org. The team would be happy to answer any questions you may have along the way.

I had originally planned to ask for a quick review of this post from someone but I got lazy :(

I'll be in there to pester you guys sometime at the end of next week I would image, and thanks!

It's very good! The only minor style issue is that `io::println` is deprecated in favor of just `println`. Everyone keeps getting this wrong, it's already gotten me once today... it would be nice to start getting the word out. :)

Please do! And thanks for writing this article!

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact