4 ms·
Always a pleasant surprise to be scrolling through HN and seeing one of my articles on the front page! For anyone interested in how that code would get zero me
by verdagon 5y ago
Always a pleasant surprise to be scrolling through HN and seeing one of my articles on the front page!
For anyone interested in how that code would get zero memory safety overhead without the classic borrow checker, a big part of it is because of the "region borrow checker" [0]. There are some other factors (iso regions, hybrid-generational-memory, etc.) but region borrow checking is the big one.
[0] https://verdagon.dev/blog/zero-cost-refs-regions https://verdagon.dev/blog/zero-cost-refs-regions
- readthenotes1 5y agoIt was Fred Brooks, not Confucius who said that, but I think you got the date right.
- ilovejosysss 5y ago
- EdwardDiego 5y agoIs this blog entry out of date? Or is this still a WIP? > Note that hybrid-generational-memory is not implemented yet, it's still just a design. From https://verdagon.dev/blog/hybrid-generational-memory https://verdagon.dev/blog/hybrid-generational-memory
- mijoharas 5y agofyi, your links on that page to hybrid generational memory seem incorrect (i.e. 7 in the sidebar, but I think there was another). I'd not heard of vale, but after reading around a little looks very interesting. Nice job! [0] https://verdagon.dev/blog/hybrid-generational-memory https://verdagon.dev/blog/hybrid-generational-memory
- runevault 5y agoTo someone else's point the article says it was not implemented yet at the time. Assuming it is I'd love to see a follow up after you built what you discuss in this post.