Open sirinath opened 3 years ago
I'm not sure we should take v as a source of inspiration. Sound systems like Koka's Perceus are probably a better bet. I really like vale's method for generational reference counting though - It's like an arena allocator with the ability to overwrite objects that are no longer accessible. Thanks for bringing it to my attention!
Another thing to mention is Vaporization, which is described briefly in the README. It's also discussed here, with some examples, and I'm working on writing a longer piece detailing how it works and why it is sound.
I've also written some more about vaporization here, but note that the post is unfinished.
Your blog has a lot of insightful posts.
Thank you, I'm glad you find them insightful! 😄
Like: